Ugo Solitro

  1. Home
  2. Department
  3. People
  4. Ugo Solitro
Ugo Solitro, September 12, 2015
Position
Assistant Professor
Academic sector
INFO-01/A - Informatics
Research sector (ERC-2024)
PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

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

Friday, Hours 2:30 PM - 4:30 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: 84.
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 (2024/2025)   12  eLearning 9  (Teoria)
Master's degree in Mathematics Mathematical Methods for Computer Science (2024/2025)   6  eLearning 6 
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 
PERCORSO 60 CFU CLASSE A041 Didattica dell'informatica: metodologie, programmazione, linguaggi (2023/2024)   4  eLearning 3  (A)
PERCORSO 60 CFU CLASSE AA24 Informatica e tecnologia a supporto della didattica (2023/2024)   1  eLearning 0.5  (A)
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    4  (Teoria)
2  (Teoria 1)
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2014/2015)   12    4  (Laboratorio)
8  (Teoria)
Master's degree in Mathematics Mathematical Methods for Computer Science (2014/2015)   6    6 
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2014/2015)   6    3  FONDAMENTI
PAS C310 Industrial IT workshop Fondamenti e programmazione (2014/2015)   4    3  FONDAMENTI
Bachelor's degree in Applied Mathematics Computer Programming with Laboratory (2013/2014)   12    8  (Teoria)
4  (Laboratorio)
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    2  MODULO A (Teoria)
2  MODULO B
1  MODULO A (Laboratorio)
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    4  Programmazione (laboratorio)
6  Programmazione (teoria)
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    4  Programmazione (laboratorio)
6  Programmazione
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    4  Laboratorio
6  Teoria
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     

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
Research interests
Topic Description Research area
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Software Engineering and Formal Verification
Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Software Engineering and Formal Verification
Formal languages and automata theory
Projects
Title Starting date
PREPARE - Personalized Engine for Prostate cancer Evaluation 7/1/23
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