Tu sei qui

Ferrari Mauro

Professore Associato dal Dicembre 2004 presso l'Università degli Studi dell'Insubria, sede di Varese.
Svolge la sua attività presso il Dipartimento di Scienze Teoriche ed Applicate.
È membro del Collegio Docenti per il Dottorato in Informatica Istituito presso l'Università degli Studi dell'Insubria.

Svolge la sua attività didattica presso i Corsi di Laurea in Informatica (triennale e magistrale) con i seguenti insegnamenti: Programmazione,
Programmazione di dispositivi mobili, Fondamenti dei linguaggi di programmazione, Progetto 2.

Ricerca: 

I principali interessi di ricerca riguardano la logica e la sua applicazione all'informatica.
In particolare si occupa di:
- Teoria della dimostrazione di logche intuizioniste e modali
- Dimostrazione automatica di teoremi
- Teorie costruttive
- Estrazione di informazione da dimostrazioni e sue applicazioni alla sintesi e alla verifica di programmi

Pubblicazioni significative: 

- M. Ferrari, C. Fiorentini, and G. Fiorino. Contraction-free Linear Depth ]Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models. Journal of Automated Reasoning, to appear.
- M. Ferrari, C. Fiorentini, and G. Fiorino. Simplification Rules for Intuitionistic Propositional Tableaux ACM Transactions on Computational Logic (TOCL), 13(2), 2012.
- M. Ferrari, C. Fiorentini, and G. Fiorino. FCube: An Efficient Prover for Intuitionistic Propositional Logic. In C. G. Fermuller and A. Voronkov,editors, Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, volume 6397, pages 294-301. Springer, 2010.
- L.Bozzato, M. Ferrari, C. Fiorentini, and G. Fiorino. A decidable constructive description logic. In T. Janhunen and I. Niemela, editors, Logics in Artificial Intelligence, JELIA 2010, volume 6341, pages 51-63. Springer, 2010.
- L.Bozzato and M. Ferrari. A Note on Semantic Web Services Specification and Composition in Constructive Description Logics. CoRR, pages 15.
- L.Bozzato and M. Ferrari. Composition of Semantic Web Services in a Constructive Description Logic, In P. Hitzler and T. Lukasiewicz, editors, Web Reasoning and Rule Systems, RR 2010, volume 6333 of Lecture Notes in Computer Science, pages 223-226. Springer, 2010.
- M. Ferrari, C. Fiorentini, and G. Fiorino. BCDL: Basic Constructive Description Logic. Journal of Automated Reasoning, 44(4):371-399, 2010.

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer