Ugo  Solitro

The contents of this page are the responsibility of the person Ugo Solitro
and of the structure: Department of Computer Science

Ugo Solitro,  September 12, 2015
Qualification
Assistant Professor

Disciplinary sector
INF/01 - COMPUTING


Office
Ca' Vignal 2,  Floor 1,  Room 79


Telephone
+39 045 802 7977

Fax
+39 045 802 7068

E-mail
ugo|solitro*univr|it <== Replace | with . and * with @ to have the right email address.

Personal web page
http://profs.sci.univr.it/~solitro

Chairperson

Other positions held

Documents

Curriculum

Office Hours
Nel periodo estivo il ricevimento studenti si svolgerà in forma ridotta:
  • nei mesi di luglio e settembre si svolgerà, salvo diverso avviso, il martedì dalle 13:30 alle 14:30 oppure su appuntamento.
  • nel mese di agosto è generalente sospeso.
Place day Timetable
Ca' Vignal 2, floor 1, room 79 Tuesday 1:30 PM - 3:30 PM

Research products (IRIS)
The University research catalogue is under maintenance.
Temporary research products link (IRIS): Research products (IRIS)

Skills
Topic Description Research area
Semantics Informatica teorica
Theory of computation - Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Informatica teorica
Theory of computation - Formal languages and automata theory

Projects
Title Starting date
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 11/30/04
Tecniche e modelli per l'analisi e la specifica di proprieta' di sicurezza di sistemi mobili. (2001) 1/1/01
Analisi di sistemi distribuiti e mobili con interpretazione astratta e sistemi di tipo (2000) 1/1/00

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Informatica  Computer programming with laboratory (2016/2017)   12   
Department Computer Science  Mathematical methods for computer science (2016/2017)   6   
Department Computer Science  Computer programming with laboratory (2015/2016)   12  eLearning 12 
Department Computer Science  Mathematical methods for computer science (2015/2016)   6  eLearning

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


People
Top