Camillo Fiorentini
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
(DSI).
Current interests
- Intermediate and constructive logics
- Proof theory of constructive formal systems
- Program synthesis, Proofs as programs, ADT specification
- The CooML project
Publications
Teaching (in italian)
Dipartimento di Scienze dell'Informazione
Via Comelico 39, 20135 Milano - ITALY
Tel.: +39 02.503.16269
Fax: +39 02.503.16373
E-mail: fiorentini@dsi.unimi.it