Mauro Ferrari
- 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