|
|
CURRICULUM
VITAE
- I received my MS (Laurea) in 1993 and my PhD in 2000
both in Computer Science from the
University of Milano.
-
Presently I am an assistant professor at the
Computer Science Department of the University of Milano.
CURRENT
INTERESTS
- Intermediate and constructive logics
- Proof theory of constructive formal systems
- Program synthesis, Proofs as programs, ADT specification
- The CooML project
|