Mauro Ferrari

_images/foto.jpg
  • 1990: undergraduate degree in Computer Science, Università degli Studi di Milano.
  • 1997: Ph.D. in Computer Science, Università degli Studi di Milano, advisor Pierangelo Miglioli.
  • 2000-2004: assistant professor in Computer Science, Università degli Studi di Milano.
  • 2004-2018: associate professor in Computer Science, Università degli Studi dell’Insubria (Varese).
  • 2018-today: full professor in Mathematical Logic, Università degli Studi dell’Insubria.
  • 1/11/2018-today: Chair of Dipartimento di Scienze Teoriche e Applicate dell’Università degli Studi dell’Insubria.
  • 1/11/2018-today: Rector’s delegate for Teaching and Innovation.

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