FERRARI MAURO

He earned a degree in Information Sciences in 1990 and a PhD in Computer Science in 1997.
From 2000 to 2004, he was a researcher at the University of Milan.
Since 2004, he has been an Associate Professor at the University of Insubria.
Since 2018, he has been a Full Professor of Mathematical Logic.
From 2018 to 2034, he served as Director of the Department of Theoretical and Applied Sciences and as the Rector’s Delegate for Teaching and Innovation.

He was a member of the committee for the National Scientific Qualification (Abilitazione Scientifica Nazionale) for the competitive sector 01/A1 – Mathematical Logic and Complementary Mathematics for the 2021–2023 period.

He has published more than 50 papers in international journals and international conference proceedings.

Research areas:
Automated reasoning
Non-classical logics: semantic characterisations and calculi
Proof theory of intuitionistic logic and modal logics
Proof complexity
Constructive-based description logics
Applications of constructive logics to program synthesis and formal verification