Ugo Solitro

Ugo Solitro,  12 settembre 2015
Qualifica
Ricercatore
Settore disciplinare
INF/01 - INFORMATICA
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

giovedì, Ore 13.30 - 15.30,   Ca' Vignal 2, piano 1, stanza 79

  • 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: 78.
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 Mathematical methods for computer science (2022/2023)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2022/2023)   12  eLearning
Laurea magistrale in Mathematics Mathematical methods for computer science (2021/2022)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2021/2022)   12  eLearning
Laurea magistrale in Mathematics Mathematical methods for computer science (2020/2021)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2020/2021)   12  eLearning (Teoria)
Laurea magistrale in Mathematics Mathematical methods for computer science (2019/2020)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2019/2020)   12  eLearning (Teoria)
Laurea magistrale in Mathematics Mathematical methods for computer science (2018/2019)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2018/2019)   12  eLearning (Teoria)
Laurea magistrale in Mathematics Mathematical methods for computer science (2017/2018)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2017/2018)   12  eLearning 12 
Laurea magistrale in Mathematics Mathematical methods for computer science (2016/2017)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2016/2017)   12  eLearning 12 
Laurea magistrale in Mathematics Mathematical methods for computer science (2015/2016)   6    (Teoria)
(Teoria 1)
Laurea in Matematica Applicata Programmazione con laboratorio (2015/2016)   12    12 
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2014/2015)   6    FONDAMENTI
PAS C310 - Laboratorio di Informatica Industriale Fondamenti e programmazione (2014/2015)   4    FONDAMENTI
Laurea magistrale in Mathematics Mathematical methods for computer science (2014/2015)   6   
Laurea in Matematica Applicata Programmazione con laboratorio (2014/2015)   12    (Laboratorio)
(Teoria)
PAS A042 - Informatica Fondamenti e programmazione (2013/2014)   6    DIDATTICA (E-learning)
DIDATTICA (Teoria)
FONDAMENTI (E-learning)
FONDAMENTI (Teoria)
PAS C300 - Laboratorio di Informatica Gestionale Fondamenti e programmazione (2013/2014)   4    COMPLEMENTI
Laurea in Matematica Applicata Programmazione con laboratorio (2013/2014)   12    (Laboratorio)
(Teoria)
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2012/2013)   6    MODULO B
MODULO A (Laboratorio)
MODULO A (Teoria)
Laurea in Scienze dell'educazione Informatica di base (teoria) (2012/2013)   2   
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2012/2013)   6    (Parte 1)
Laurea in Matematica Applicata Programmazione con laboratorio (2012/2013)   12    (Teoria)
Laurea in Scienze dell'educazione Informatica di base (teoria) (2011/2012)   2   
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2011/2012)   6    (Parte 1)
Laurea in Matematica Applicata Programmazione con laboratorio (2011/2012)   12    (Teoria)
(Laboratorio)
Laurea in Matematica Applicata Programmazione con laboratorio (2010/2011)   12    (Teoria)
(Laboratorio)
Laurea in Matematica Applicata Programmazione con laboratorio (2009/2010)   12    (Laboratorio)
(Teoria)
Laurea in Scienze delle attività motorie e sportive - ordinamento fino all'a.a. 2007/2008 Abilità relazionali (II anno professionalizzante) (2008/2009)   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    Informatica
Laurea in Scienze dell'educazione Informatica di base (teoria) (2008/2009)   2     
Laurea specialistica in Informatica Linguaggi funzionali (2008/2009)   5    Laboratorio
Teoria
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   10    Programmazione (laboratorio)
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   
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2007/2008)   5    Laboratorio
Teoria
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2007/2008)   10    Programmazione (laboratorio)
Programmazione (teoria)
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2006/2007)   8   
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2006/2007)   10    Programmazione (laboratorio)
Programmazione
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2005/2006)   8   
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2005/2006)   5   
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2005/2006)   10    Teoria
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     

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA.

MyUnivr
 
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. Informatica teorica
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
Formal languages and automata theory
Progetti
Titolo Data inizio
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