Ugo Solitro

Ugo Solitro,  September 12, 2015
Position
Assistant Professor
Academic 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

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

  • Durante le sessioni d'esame e nei periodi in cui le lezioni tacciono il ricevimento studenti si svolgerà in forma ridotta; in particolare nel mese di agosto è generalente sospeso.

Curriculum

Modules

Modules running in the period selected: 68.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2017/2018)   12  eLearning 12 
Master's degree in Mathematics Mathematical Methods for Computer Science (2017/2018)   6  eLearning
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2016/2017)   12  eLearning 12 
Master's degree in Mathematics Mathematical Methods for Computer Science (2016/2017)   6  eLearning
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2015/2016)   12  eLearning 12 
Master's degree in Mathematics Mathematical Methods for Computer Science (2015/2016)   6  eLearning (Teoria)
(Teoria 1)
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2014/2015)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Mathematics Mathematical Methods for Computer Science (2014/2015)   6  eLearning
PAS C310 Industrial IT workshop Fondamenti e programmazione (2014/2015)   4  eLearning FONDAMENTI
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2014/2015)   6  eLearning FONDAMENTI
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2013/2014)   12  eLearning (Teoria)
(Laboratorio)
PAS C300 IT and data management laboratory Fondamenti e programmazione (2013/2014)   4    COMPLEMENTI
PAS A042 Computer science Fondamenti e programmazione (2013/2014)   6  eLearning FONDAMENTI (Teoria)
FONDAMENTI (E-learning)
DIDATTICA (Teoria)
DIDATTICA (E-learning)
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2012/2013)   12  eLearning (Teoria)
Master's degree in Mathematics Mathematics methods for computer science (2012/2013)   6    (Parte 1)
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2012/2013)   6    MODULO B
MODULO A (Teoria)
MODULO A (Laboratorio)
Bachelor's degree in Education Informatica di base (teoria) (2012/2013)   2  eLearning
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2011/2012)   12  eLearning (Teoria)
(Laboratorio)
Master's degree in Mathematics Mathematics methods for computer science (2011/2012)   6    (Parte 1)
Bachelor's degree in Education Informatica di base (teoria) (2011/2012)   2   
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2010/2011)   12  eLearning (Teoria)
(Laboratorio)
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2009/2010)   12    (Teoria)
(Laboratorio)
Bachelor's degree Sport and Exercise Science (until 2007-2008) Communicative ability (II professional year) (2008/2009)   2    Informatica
Bachelor's degree Sport and Exercise Science (until 2007-2008) Communicative ability (II scientific year) (2008/2009)   6    Informatica
Masters in Computer Science Functional Languages (2008/2009)   5  eLearning Teoria
Laboratorio
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2008/2009)   10  eLearning Programmazione (laboratorio)
Programmazione (teoria)
Bachelor's degree in Education Informatica di base (teoria) (2008/2009)   2     
Degree in Education Studies (until 2007-2008) Information Technology [indirizzo per l'educazione socio culturale] (2007/2008)   4  eLearning
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2007/2008)   10  eLearning Programmazione (laboratorio)
Programmazione (teoria)
Masters in Computer Science Programming Languages and Special Techniques (2007/2008)   5  eLearning Teoria
Laboratorio
Degree for Experts in Training Processes Foundations of Computer Science (2006/2007)   8  eLearning
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2006/2007)   10  eLearning Programmazione (laboratorio)
Programmazione
Degree for Experts in Training Processes Foundations of Computer Science (2005/2006)   8  eLearning
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2005/2006)   10  eLearning Laboratorio
Teoria
Masters in Computer Science Programming Languages and Special Techniques (2005/2006)   5  eLearning
Degree for Experts in Training Processes Foundations of Computer Science (2004/2005)   8     
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing [Sezione B] (2004/2005)   4      Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming [Sezione B] (2004/2005)   12      Teoria
Degree for Experts in Training Processes Foundations of Computer Science (2003/2004)   8     
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Computing [Tecnologie e Informatica (A-F)] (2003/2004)   4      Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming [Tecnologie e Informatica (A-F)] (2003/2004)   12      Teoria
Masters in Computer Science Semantics (2003/2004)   5     
Degree for Experts in Training Processes Foundations of Computer Science (2002/2003)   8     
Masters in Computer Science Functional Languages (2002/2003)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming [Tecnologie e Informatica (A-F)] (2002/2003)   12      Teoria
Bachelor in Computer Science (old system) Functional Languages (2001/2002)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Introduction to Programming (2001/2002)   12      Teoria
Bachelor in Computer Science (old system) Algorithms and Data Structures (2000/2001)   2     
Bachelor in Computer Science (old system) Foundations of Computing: Type Semantics and Theory (2000/2001)   1     
Bachelor in Computer Science (old system) Algorithms and Data Structures (1999/2000)   2     
Bachelor in Computer Science (old system) Foundations of Computing: Type Semantics and Theory (1999/2000)   1     

 
Skills
Topic Description Research area
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages 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