- I received my Laurea in Computer Science from University of Milano. I
thereafter attended the Ph.D. Program of Computer Science (VIII cycle) and
I received my Ph.D. with a dissertation titled Strongly Constructive Formal
Systems.
- Presently I am an associate professor at the Computer Science
Department (DICOM) of the University of
Insubria (Varese).
- Intermediate and constructive logics
- Proof theory of constructive formal systems
- Complexity of proofs
- Intuitionistic modal logics
- Tableau calculi for intuitionistic modal logics and intermediate logics
- Program-synthesis, proofs-as-programs, ADT specification