Alberto Momigliano
Qualifica
Professore associato
Email
momigliano at di dot unimi dot it
Stanza
4009
Telefono
02503.16277
Pagina di ricerca
link
Dip. di Informatica
Università degli Studi di Milano
via Celoria 18
I-20135 Milano MI, Italy
Attività didattica corrente
Metodi Formali: primo semestre
Programmazione Dichiarativa: secondo semestre
Informatica generale: terzo semestre
Attività didattica precedente
Laboratorio di Logica, turno C
(A.A. 2017--19)
Metodi Formali
(A.A. 2014/2015, 2015/2016, 16/17)
Corso di dottorato
From lightweight validation to formal certification
, in collaborazione con Camillo Fiorentini, November 10-14, 2014.
link
Logica 2
(A.A. 2013/2014)
Programmazione Funzionale
(A.A. 2011--19)
Laboratorio di informatica
per Biologia (A.A. 2010/2011, 2011/12, 2012/2013)
Linear Logic: Theory and Applications
(Corso di dottorato, A.A. 2011)
Rapporto con gli studenti