Curriculum Vitae
- 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 Department of Computer Science (DiSTA) of the University of Insubria (Varese).
My Research Interests
- Intermediate and constructive logics
- Proof theory of constructive formal systems
- Complexity of proofs
- Intuitionistic modal logics
- Tableau and sequent calculi: theory and implementation
- (Constructive) Description Logics