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

Fast Links Links
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

Informazioni generali.

  • 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 - 3:30 PM

Skills
Topic Description Research area
Semantics Theory of computation
Theory of computation - Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Theory of computation
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 Computer Science  Computer programming with laboratory (2012/2013)   12  eLearning 8 
Department Computer Science  Mathematics methods for computer science (2012/2013)   6    3 
Faculty   Informatica di base (teoria) (2012/2013)   2  eLearning 2 
Department Computer Science  Computer programming with laboratory (2011/2012)   12  eLearning 8 
4 
Department Computer Science  Mathematics methods for computer science (2011/2012)   6    3 
Faculty   Fondamenti e programmazione (2011/2012)   6    2  MODULO B
2  MODULO A
1  MODULO A
Department Philosophy, Education and Psychology  Informatica di base (teoria) (2011/2012)   2    2 

People
Top