In 2000, the Department of Mathematics and Statistics of the University of Milan, and in 1997, a number of universities, including the universities, the foundations of information, programming language, programming language, programming language, analytical and verification of software, were established.
Dal 2000 è membro del collegio dei docenti del dottorato di ricerca in Matematica e Statistica per le Scienze Computazionali dell'Università di Milano e dal 1997 tiene corsi universitari, ad ogni livello, di fondamenti dell'informatica, linguaggi di programmazione, metodologie avanzate di programmazione, analisi e verifica del software.