Ugo Solitro

Ugo Solitro,  September 12, 2015
Position
Assistant Professor
Disciplinary sector
INF/01 - INFORMATICS
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

Office Hours

Tuesday, Hours 2:30 PM - 3:30 PM,   Ca' Vignal 2, floor 1, room 79

  • Nel periodo estivo il ricevimento studenti si svolgerà in forma ridotta; in particolare nel mese di agosto è generalente sospeso.

Insegnamenti

Risultano 66 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

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 (2016/2017)   12  eLearning 12 
Department Computer Science  Mathematical Methods for Computer Science (2016/2017)   6  eLearning
Department Computer Science  Computer Programming with Laboratory (2015/2016)   12  eLearning 12 
Department Computer Science  Mathematical Methods for Computer Science (2015/2016)   6  eLearning (Teoria)
(Teoria 1)
Department Informatica  Computer Programming with Laboratory (2014/2015)   12  eLearning (Teoria)
(Laboratorio)
Department Computer Science  Mathematical Methods for Computer Science (2014/2015)   6  eLearning
Department Computer Science  Fondamenti e programmazione (2014/2015)   4  eLearning FONDAMENTI
Department Computer Science  Fondamenti e programmazione (2014/2015)   6  eLearning FONDAMENTI
Department Computer Science  Computer Programming with Laboratory (2013/2014)   12  eLearning (Teoria)
(Laboratorio)
Department Computer Science  Fondamenti e programmazione (2013/2014)   4    COMPLEMENTI
Department Informatica  Fondamenti e programmazione (2013/2014)   6  eLearning FONDAMENTI (Teoria)
FONDAMENTI (E-learning)
DIDATTICA (Teoria)
DIDATTICA (E-learning)
Department Computer Science  Computer Programming with Laboratory (2012/2013)   12  eLearning (Teoria)
Department Computer Science  Mathematics methods for computer science (2012/2013)   6    (Parte 1)
Department Computer Science  Fondamenti e programmazione (2012/2013)   6    MODULO B
MODULO A (Teoria)
MODULO A (Laboratorio)
Department Humanities  Informatica di base (teoria) (2012/2013)   2  eLearning
Department Computer Science  Computer Programming with Laboratory (2011/2012)   12  eLearning (Teoria)
(Laboratorio)
Department Computer Science  Mathematics methods for computer science (2011/2012)   6    (Parte 1)
Department Humanities  Informatica di base (teoria) (2011/2012)   2   
Department Computer Science  Computer Programming with Laboratory (2010/2011)   12  eLearning (Teoria)
(Laboratorio)
Department Computer Science  Computer Programming with Laboratory (2009/2010)   12    (Teoria)
(Laboratorio)
Department Neuroscience, Biomedicine and Movement  Communicative ability (II professional year) (2008/2009)   2    Informatica
Department Neuroscience, Biomedicine and Movement  Communicative ability (II scientific year) (2008/2009)   6    Informatica
Department Computer Science  Functional Languages (2008/2009)   5  eLearning Teoria
Laboratorio
Department Computer Science  Introduction to Programming (2008/2009)   10  eLearning Programmazione (laboratorio)
Programmazione (teoria)
Department Humanities  Informatica di base (teoria) (2008/2009)   2     
Department Humanities  Information Technology [indirizzo per l'educazione socio culturale] (2007/2008)   4  eLearning
Department Computer Science  Introduction to Programming (2007/2008)   10  eLearning Programmazione (laboratorio)
Programmazione (teoria)
Department Computer Science  Programming Languages and Special Techniques (2007/2008)   5  eLearning Teoria
Laboratorio
Department Humanities  Foundations of Computer Science (2006/2007)   8  eLearning
Department Computer Science  Introduction to Programming (2006/2007)   10  eLearning Programmazione (laboratorio)
Programmazione
Department Humanities  Foundations of Computer Science (2005/2006)   8  eLearning
Department Computer Science  Introduction to Programming (2005/2006)   10  eLearning Laboratorio
Teoria
Department Computer Science  Programming Languages and Special Techniques (2005/2006)   5  eLearning
Department Humanities  Foundations of Computer Science (2004/2005)   8     
Department Computer Science  Introduction to Computing [Sezione B] (2004/2005)   4      Teoria
Department Computer Science  Introduction to Programming [Sezione B] (2004/2005)   12      Teoria
Department Humanities  Foundations of Computer Science (2003/2004)   8     
Department Computer Science  Introduction to Computing [Tecnologie e Informatica (A-F)] (2003/2004)   4      Teoria
Department Computer Science  Introduction to Programming [Tecnologie e Informatica (A-F)] (2003/2004)   12      Teoria
Department Computer Science  Semantics (2003/2004)   5     
Department Humanities  Foundations of Computer Science (2002/2003)   8     
Department Computer Science  Functional Languages (2002/2003)   5     
Department Computer Science  Introduction to Programming [Tecnologie e Informatica (A-F)] (2002/2003)   12      Teoria
Department Computer Science  Functional Languages (2001/2002)   5     
Department Computer Science  Introduction to Programming (2001/2002)   12      Teoria
Department Computer Science  Algorithms and Data Structures (2000/2001)   2     
Department Computer Science  Foundations of Computing: Type Semantics and Theory (2000/2001)   1     
Department Computer Science  Algorithms and Data Structures (1999/2000)   2     
Department Computer Science  Foundations of Computing: Type Semantics and Theory (1999/2000)   1     

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


 
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