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

martedì, Ore 13.30 - 14.30,   Ca' Vignal 2, piano 1, stanza 79

  • Duratne 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

Risultano 67 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

Insegnamenti degli ultimi due anni accademici
Dipartimento/Scuola Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dipartimento Informatica  Programmazione con laboratorio (2017/2018)   12    12 
Dipartimento Informatica  Mathematical methods for computer science (2016/2017)   6  eLearning
Dipartimento Informatica  Programmazione con laboratorio (2016/2017)   12  eLearning 12 
Dipartimento Informatica  Mathematical methods for computer science (2015/2016)   6  eLearning (Teoria)
(Teoria 1)
Dipartimento Informatica  Programmazione con laboratorio (2015/2016)   12  eLearning 12 
Dipartimento Informatica  Fondamenti e programmazione (2014/2015)   4  eLearning FONDAMENTI
Dipartimento Informatica  Fondamenti e programmazione (2014/2015)   6  eLearning FONDAMENTI
Dipartimento Informatica  Mathematical methods for computer science (2014/2015)   6  eLearning
Dipartimento Informatica  Programmazione con laboratorio (2014/2015)   12  eLearning (Teoria)
(Laboratorio)
Dipartimento Informatica  Fondamenti e programmazione (2013/2014)   4    COMPLEMENTI
Dipartimento Informatica  Fondamenti e programmazione (2013/2014)   6  eLearning FONDAMENTI (Teoria)
FONDAMENTI (E-learning)
DIDATTICA (Teoria)
DIDATTICA (E-learning)
Dipartimento Informatica  Programmazione con laboratorio (2013/2014)   12  eLearning (Teoria)
(Laboratorio)
Dipartimento Informatica  Fondamenti e programmazione (2012/2013)   6    MODULO B
MODULO A (Teoria)
MODULO A (Laboratorio)
Dipartimento Scienze Umane  Informatica di base (teoria) (2012/2013)   2  eLearning
Dipartimento Informatica  Metodi matematici per l'informatica (2012/2013)   6    (Parte 1)
Dipartimento Informatica  Programmazione con laboratorio (2012/2013)   12  eLearning (Teoria)
Dipartimento Scienze Umane  Informatica di base (teoria) (2011/2012)   2   
Dipartimento Informatica  Metodi matematici per l'informatica (2011/2012)   6    (Parte 1)
Dipartimento Informatica  Programmazione con laboratorio (2011/2012)   12  eLearning (Teoria)
(Laboratorio)
Dipartimento Informatica  Programmazione con laboratorio (2010/2011)   12  eLearning (Teoria)
(Laboratorio)
Dipartimento Informatica  Programmazione con laboratorio (2009/2010)   12    (Teoria)
(Laboratorio)
Dipartimento Neuroscienze, Biomedicina e Movimento  Abilità relazionali (II anno professionalizzante) (2008/2009)   2    Informatica
Dipartimento Neuroscienze, Biomedicina e Movimento  Abilità relazionali (II anno scientifico) (2008/2009)   6    Informatica
Dipartimento Scienze Umane  Informatica di base (teoria) (2008/2009)   2     
Dipartimento Informatica  Linguaggi funzionali (2008/2009)   5  eLearning Teoria
Laboratorio
Dipartimento Informatica  Programmazione (2008/2009)   10  eLearning Programmazione (laboratorio)
Programmazione (teoria)
Dipartimento Scienze Umane  Informatica [indirizzo per l'educazione socio culturale] (2007/2008)   4  eLearning
Dipartimento Informatica  Linguaggi e tecniche speciali di programmazione (2007/2008)   5  eLearning Teoria
Laboratorio
Dipartimento Informatica  Programmazione (2007/2008)   10  eLearning Programmazione (laboratorio)
Programmazione (teoria)
Dipartimento Scienze Umane  Fondamenti di informatica (2006/2007)   8  eLearning
Dipartimento Informatica  Programmazione (2006/2007)   10  eLearning Programmazione (laboratorio)
Programmazione
Dipartimento Scienze Umane  Fondamenti di informatica (2005/2006)   8  eLearning
Dipartimento Informatica  Linguaggi e tecniche speciali di programmazione (2005/2006)   5  eLearning
Dipartimento Informatica  Programmazione (2005/2006)   10  eLearning Laboratorio
Teoria
Dipartimento Scienze Umane  Fondamenti di informatica (2004/2005)   8     
Dipartimento Informatica  Informatica di base [Sezione B] (2004/2005)   4      Teoria
Dipartimento Informatica  Programmazione [Sezione B] (2004/2005)   12      Teoria
Dipartimento Scienze Umane  Fondamenti di informatica (2003/2004)   8     
Dipartimento Informatica  Informatica di base [Tecnologie e Informatica (A-F)] (2003/2004)   4      Teoria
Dipartimento Informatica  Programmazione [Tecnologie e Informatica (A-F)] (2003/2004)   12      Teoria
Dipartimento Informatica  Semantica (2003/2004)   5     
Dipartimento Scienze Umane  Fondamenti di informatica (2002/2003)   8     
Dipartimento Informatica  Linguaggi funzionali (2002/2003)   5     
Dipartimento Informatica  Programmazione [Tecnologie e Informatica (A-F)] (2002/2003)   12      Teoria
Dipartimento Informatica  Linguaggi funzionali (2001/2002)   5     
Dipartimento Informatica  Programmazione (2001/2002)   12      Teoria
Dipartimento Informatica  Algoritmi e strutture dati (2000/2001)   2     
Dipartimento Informatica  Fondamenti dell'informatica: semantica e teoria dei tipi (2000/2001)   1     
Dipartimento Informatica  Algoritmi e strutture dati (1999/2000)   2     
Dipartimento Informatica  Fondamenti dell'informatica: semantica e teoria dei tipi (1999/2000)   1     

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


 
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