Ugo  Solitro

The contents of this page are the responsibility of the person: Ugo Solitro
In caso di assenza rivolgersi alla struttura: Department of Computer Science

Ugo Solitro,  September 13, 2005
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

Skype
My status



Office hours

Attenzione!

  • L'orario di ricevimento indicato è parziale:
    • nei periodi di lezione il docente svolge attività di ricevimento in aula e in laboratorio specifica per gli insegnamenti;
    • le modalità di tale attività sono indicate nelle pagine degli insegnamenti. 
  • Il docente riceve anche su appuntamento da concordare via email.

Altre informazioni.

  • In alcuni periodi l'orario di ricevimento può subire variazioni e/o temporanee sospensioni, in particolare nei periodi di sospensione delle lezioni.
  • Inoltre il ricevimento studenti è sospeso di norma nel mese di Agosto.

Si consiglia pertanto di controllare per mezzo degli avvisi e, quando possibile, di fissare un appuntamento preferibilmente via posta elettronica.

Place day Timetable
Ca' Vignal 2, floor 1, room 79 Tuesday 1:30 PM - 2:30 PM

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

Research products

Year
Type of item
Number of research products per page
publications on 5 total
 

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 (2014/2015)   12   
Department Computer Science  Mathematical methods for computer science (2014/2015)   6   
Department Computer Science  Computer programming with laboratory (2013/2014)   12  eLearning
Department Computer Science  Fondamenti e programmazione (2013/2014)   4    COMPLEMENTI
Department Informatica  Fondamenti e programmazione (2013/2014)   6  eLearning FONDAMENTI
FONDAMENTI
DIDATTICA
DIDATTICA

People
Top