Since 2000 he has been a member of the faculty of the Department of Mathematical and Statistics for Computer Science at the University of Milan and since 1997 he has degrees, at every level, in computer science, programming languages, advanced programming methods, analysis and verification of software.
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.