Ugo Solitro

  1. Home
  2. Department
  3. People
  4. Ugo Solitro
Ugo Solitro, September 12, 2015
Position
Assistant Professor
Academic sector
INF/01 - INFORMATICS
Research sector (ERC)
PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

Office
Ca' Vignal 2,  Floor 1,  Room 79
Telephone
+39 045 802 7977
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:00 PM - 4:00 PM,   Ca' Vignal 2, Floor 1, room 77

  • Durante il periodo di lezione, quando la situazione lo richiede, il ricevimento studenti può svolgersi anche in un aula (definita di volta in volta) per consentire di parteciparvi a più studenti in contemporanea; questa eventualità verrà segnalata mediante opportuni avvisi.
  • Durante le sessioni d'esame e nei periodi in cui le lezioni tacciono il ricevimento studenti potrà subire variazioni o svolgersi in forma ridotta; in particolare nel mese di agosto è generalmente sospeso.

Curriculum

Modules

Modules running in the period selected: 80.
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 (2023/2024)   12  eLearning 9  (Teoria)
Master's degree in Mathematics Mathematical Methods for Computer Science (2023/2024)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2022/2023)   12  eLearning 9 
Master's degree in Mathematics Mathematical Methods for Computer Science (2022/2023)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2021/2022)   12  eLearning 9 
Master's degree in Mathematics Mathematical Methods for Computer Science (2021/2022)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2020/2021)   12  eLearning 9  (Teoria)
Master's degree in Mathematics Mathematical Methods for Computer Science (2020/2021)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2019/2020)   12  eLearning 9  (Teoria)
Master's degree in Mathematics Mathematical Methods for Computer Science (2019/2020)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2018/2019)   12  eLearning 9  (Teoria)
Master's degree in Mathematics Mathematical Methods for Computer Science (2018/2019)   6  eLearning 6 
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 6 
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 6 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2015/2016)   12    12 
Master's degree in Mathematics Mathematical Methods for Computer Science (2015/2016)   6    2  (Teoria 1)
4  (Teoria)
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2014/2015)   12    8  (Teoria)
4  (Laboratorio)
Master's degree in Mathematics Mathematical Methods for Computer Science (2014/2015)   6    6 
PAS C310 Industrial IT workshop Fondamenti e programmazione (2014/2015)   4    3  FONDAMENTI
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2014/2015)   6    3  FONDAMENTI
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2013/2014)   12    4  (Laboratorio)
8  (Teoria)
PAS A042 Computer science Fondamenti e programmazione (2013/2014)   6    1  FONDAMENTI (E-learning)
2  FONDAMENTI (Teoria)
1  DIDATTICA (E-learning)
PAS C300 IT and data management laboratory Fondamenti e programmazione (2013/2014)   4    1  COMPLEMENTI
PAS A042 Computer science Fondamenti e programmazione (2013/2014)   6    1  DIDATTICA (Teoria)
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2012/2013)   12    8  (Teoria)
Master's degree in Mathematics Mathematics methods for computer science (2012/2013)   6    3  (Parte 1)
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2012/2013)   6    1  MODULO A (Laboratorio)
2  MODULO A (Teoria)
2  MODULO B
Bachelor's degree in Educational Sciences Informatica di base (teoria) (2012/2013)   2    2 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2011/2012)   12    4  (Laboratorio)
8  (Teoria)
Master's degree in Mathematics Mathematics methods for computer science (2011/2012)   6    3  (Parte 1)
Bachelor's degree in Educational Sciences Informatica di base (teoria) (2011/2012)   2    2 
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2010/2011)   12    4  (Laboratorio)
8  (Teoria)
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2009/2010)   12    8  (Teoria)
4  (Laboratorio)
Bachelor's degree Sport and Exercise Science (until 2007-2008) Communicative ability (II professional year) (2008/2009)   2    2  Informatica
Bachelor's degree Sport and Exercise Science (until 2007-2008) Communicative ability (II scientific year) (2008/2009)   6    2  Informatica
Masters in Computer Science Functional Languages (2008/2009)   5    4  Teoria
1  Laboratorio
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2008/2009)   10    6  Programmazione (teoria)
4  Programmazione (laboratorio)
Bachelor's degree in Educational Sciences 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    4 
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2007/2008)   10    4  Programmazione (laboratorio)
6  Programmazione (teoria)
Masters in Computer Science Programming Languages and Special Techniques (2007/2008)   5    4  Teoria
1  Laboratorio
Degree for Experts in Training Processes Foundations of Computer Science (2006/2007)   8    8 
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2006/2007)   10    6  Programmazione
4  Programmazione (laboratorio)
Degree for Experts in Training Processes Foundations of Computer Science (2005/2006)   8    8 
Degree in Applied Mathematics (until a.y. 2008/2009) Introduction to Programming (2005/2006)   10    6  Teoria
4  Laboratorio
Masters in Computer Science Programming Languages and Special Techniques (2005/2006)   5    5 
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     

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
 
Research interests
Topic Description Research area
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages 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 Theory of computation
Formal languages and automata theory
Projects
Title Starting date
Programmazione informatica e processi cognitivi. 6/1/16
Emozioni di riuscita in studenti di scuola primaria, secondaria e universitari 1/1/13
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



Organization

Department facilities

Share