Ugo Solitro

Ugo Solitro,  12 settembre 2015
Qualifica
Ricercatore
Settore disciplinare
INF/01 - INFORMATICA
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 79
Telefono
+39 045 802 7977
Fax
+39 045 802 7068
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

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

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 66.
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 (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  eLearning (Teoria)
(Teoria 1)
Laurea in Matematica Applicata Programmazione con laboratorio (2015/2016)   12  eLearning 12 
PAS C310 - Laboratorio di Informatica Industriale Fondamenti e programmazione (2014/2015)   4  eLearning FONDAMENTI
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2014/2015)   6  eLearning FONDAMENTI
Laurea magistrale in Mathematics Mathematical methods for computer science (2014/2015)   6  eLearning
Laurea in Matematica Applicata Programmazione con laboratorio (2014/2015)   12  eLearning (Teoria)
(Laboratorio)
PAS C300 - Laboratorio di Informatica Gestionale Fondamenti e programmazione (2013/2014)   4    COMPLEMENTI
PAS A042 - Informatica Fondamenti e programmazione (2013/2014)   6  eLearning FONDAMENTI (Teoria)
FONDAMENTI (E-learning)
DIDATTICA (Teoria)
DIDATTICA (E-learning)
Laurea in Matematica Applicata Programmazione con laboratorio (2013/2014)   12  eLearning (Teoria)
(Laboratorio)
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2012/2013)   6    MODULO B
MODULO A (Teoria)
MODULO A (Laboratorio)
Laurea in Scienze dell'educazione Informatica di base (teoria) (2012/2013)   2  eLearning
Laurea magistrale in Mathematics Metodi matematici per l'informatica (2012/2013)   6    (Parte 1)
Laurea in Matematica Applicata Programmazione con laboratorio (2012/2013)   12  eLearning (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  eLearning (Teoria)
(Laboratorio)
Laurea in Matematica Applicata Programmazione con laboratorio (2010/2011)   12  eLearning (Teoria)
(Laboratorio)
Laurea in Matematica Applicata Programmazione con laboratorio (2009/2010)   12    (Teoria)
(Laboratorio)
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  eLearning Teoria
Laboratorio
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2008/2009)   10  eLearning 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  eLearning
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2007/2008)   5  eLearning Teoria
Laboratorio
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2007/2008)   10  eLearning Programmazione (laboratorio)
Programmazione (teoria)
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2006/2007)   8  eLearning
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2006/2007)   10  eLearning Programmazione (laboratorio)
Programmazione
Laurea per Esperti nei Processi formativi - ordinamento fino all'a.a. 2007/2008 Fondamenti di informatica (2005/2006)   8  eLearning
Laurea specialistica in Informatica Linguaggi e tecniche speciali di programmazione (2005/2006)   5  eLearning
Laurea in Matematica applicata (ordinamento fino all'a.a. 2008/09) Programmazione (2005/2006)   10  eLearning Laboratorio
Teoria
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     

 
Competenze
Argomento Descrizione Area di ricerca
Semantics Studio di tecniche di analisi e verifica di programmi a oggetti e di basso livello, al fine dell'identificazione automatica di errori e di problemi di sicurezza. 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
Progetti
Titolo Data inizio
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