Ugo Solitro

  1. Home
  2. Dipartimento
  3. Persone
  4. Ugo Solitro
Ugo Solitro, 12 settembre 2015
Qualifica
Ricercatore
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

Settore di Ricerca (ERC)
PE6_3 - Software engineering, operating systems, computer languages

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

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 79
Telefono
+39 045 802 7977
E-mail
ugo|solitro*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~solitro

Orario di ricevimento

venerdì, Ore 14.30 - 16.30,   Ca' Vignal 2, piano 1, stanza 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

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 84.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2024/2025)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2024/2025)   12  eLearning 9  (Teoria)
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)
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2023/2024)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2023/2024)   12  eLearning 9  (Teoria)
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2022/2023)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2022/2023)   12  eLearning 9 
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2021/2022)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2021/2022)   12  eLearning 9 
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2020/2021)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2020/2021)   12  eLearning 9  (Teoria)
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2019/2020)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2019/2020)   12  eLearning 9  (Teoria)
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2018/2019)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2018/2019)   12  eLearning 9  (Teoria)
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2017/2018)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2017/2018)   12  eLearning 12 
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2016/2017)   6  eLearning 6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2016/2017)   12  eLearning 12 
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2015/2016)   6    2  (Teoria 1)
4  (Teoria)
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2015/2016)   12    12 
PAS C310 - Laboratorio di Informatica Industriale Fondamenti e programmazione (2014/2015)   4    3  FONDAMENTI
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2014/2015)   6    3  FONDAMENTI
Laurea magistrale in Mathematics [LM-40] Mathematical methods for computer science (2014/2015)   6    6 
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2014/2015)   12    4  (Laboratorio)
8  (Teoria)
PAS A042 - Informatica Fondamenti e programmazione (2013/2014)   6    1  FONDAMENTI (E-learning)
1  DIDATTICA (E-learning)
1  DIDATTICA (Teoria)
2  FONDAMENTI (Teoria)
PAS C300 - Laboratorio di Informatica Gestionale Fondamenti e programmazione (2013/2014)   4    1  COMPLEMENTI
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2013/2014)   12    4  (Laboratorio)
8  (Teoria)
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2012/2013)   6    1  MODULO A (Laboratorio)
2  MODULO A (Teoria)
2  MODULO B
Laurea in Scienze dell'educazione [L-19] Informatica di base (teoria) (2012/2013)   2    2 
Laurea magistrale in Mathematics [LM-40] Metodi matematici per l'informatica (2012/2013)   6    3  (Parte 1)
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2012/2013)   12    8  (Teoria)
Laurea in Scienze dell'educazione [L-19] Informatica di base (teoria) (2011/2012)   2    2 
Laurea magistrale in Mathematics [LM-40] Metodi matematici per l'informatica (2011/2012)   6    3  (Parte 1)
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2011/2012)   12    4  (Laboratorio)
8  (Teoria)
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2010/2011)   12    4  (Laboratorio)
8  (Teoria)
Laurea in Matematica Applicata [L-35] Programmazione con laboratorio (2009/2010)   12    8  (Teoria)
4  (Laboratorio)
Laurea in Scienze delle attività motorie e sportive - ordinamento fino all'a.a. 2007/2008 Abilità relazionali (II anno professionalizzante) (2008/2009)   2    2  Informatica
Laurea in Scienze delle attività motorie e sportive - ordinamento fino all'a.a. 2007/2008 Abilità relazionali (II anno scientifico) (2008/2009)   6    2  Informatica
Laurea in Scienze dell'educazione [L-19] Informatica di base (teoria) (2008/2009)   2     
Laurea specialistica in Informatica Linguaggi funzionali (2008/2009)   5    1  Laboratorio
4  Teoria
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   10    4  Programmazione (laboratorio)
6  Programmazione (teoria)
Laurea in Scienze dell'educazione (triennale) - ordinamento fino all'a.a. 2007/2008 Informatica [indirizzo per l'educazione socio culturale] (2007/2008)   4    4 
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2007/2008)   5    1  Laboratorio
4  Teoria
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2007/2008)   10    4  Programmazione (laboratorio)
6  Programmazione (teoria)
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2006/2007)   8    8 
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2006/2007)   10    6  Programmazione
4  Programmazione (laboratorio)
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2005/2006)   8    8 
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2005/2006)   5    5 
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2005/2006)   10    6  Teoria
4  Laboratorio
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2004/2005)   8     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base [Sezione B] (2004/2005)   4      Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Sezione B] (2004/2005)   12      Teoria
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2003/2004)   8     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Informatica di base [Tecnologie e Informatica (A-F)] (2003/2004)   4      Teoria
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Tecnologie e Informatica (A-F)] (2003/2004)   12      Teoria
Laurea specialistica in Informatica Semantica (2003/2004)   5     
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2002/2003)   8     
Laurea specialistica in Informatica Linguaggi funzionali (2002/2003)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione [Tecnologie e Informatica (A-F)] (2002/2003)   12      Teoria
Laurea in Informatica (vecchio ordinamento) Linguaggi funzionali (2001/2002)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Programmazione (2001/2002)   12      Teoria
Laurea in Informatica (vecchio ordinamento) Algoritmi e strutture dati (2000/2001)   2     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: semantica e teoria dei tipi (2000/2001)   1     
Laurea in Informatica (vecchio ordinamento) Algoritmi e strutture dati (1999/2000)   2     
Laurea in Informatica (vecchio ordinamento) Fondamenti dell'informatica: semantica e teoria dei tipi (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.
Competenze
Argomento Descrizione Area di ricerca
Semantica di programmi Studio di tecniche di modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Ingegneria del Software e verifica formale
Semantics and reasoning
Teoria della dimostrazione e teoria dei tipi Sistemi deduttivi e di tipo basati su logiche costruttive e sulla logica lineare Ingegneria del Software e verifica formale
Formal languages and automata theory
Progetti
Titolo Data inizio
PREPARE - Personalized Engine for Prostate cancer Evaluation 01/07/23
Programmazione informatica e processi cognitivi. 01/06/16
Emozioni di riuscita in studenti di scuola primaria, secondaria e universitari 01/01/13
Logica e computazioni: sintassi, semantica e interazione (PRIN 2004) 30/11/04
Tecniche e modelli per l'analisi e la specifica di proprieta' di sicurezza di sistemi mobili. (2001) 01/01/01
Analisi di sistemi distribuiti e mobili con interpretazione astratta e sistemi di tipo (2000) 01/01/00



Organizzazione

Strutture del dipartimento

Condividi