Mauro Ferrari


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. in 1997.

Presently I am an associate professor at the Computer Science Department (DiSTA) of the University of Insubria (Varese).

This is my Curriculum Vitae et Studiorum updated to September 2016.

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
  • Theorem provers implementation