I received my MS (Laurea) in 1993 and my PhD in 2000
both in Computer Science from
University of Milano.
Presently I am an assistant professor at the
Computer Science Department of University of Milano
I have been invited at the
Poznań Reasoning Week
(Poznań, September 11-15, 2018).
I have been co-chair of
CILC 2016 (Milan, June 20-22, 2016),
the 31st Italian Conference on Computational Logic.
- Intermediate and constructive logics
- Proof theory of constructive formal systems
- Program synthesis, Proofs as programs, ADT specification
- The CooML project
Teaching (in italian)
Dipartimento di Informatica
Via Comelico 39, 20135 Milano - ITALY
Tel.: +39 02.503.16269
Fax: +39 02.503.16373