Ferrari Mauro
Associate Professors
THEORETICAL AND APPLIED SCIENCES DEPARTMENT
Insubria University
Italy
Biography
Qualifications Ph.D. in Informatics, VIII cycle, at the University of Milan, 1997. Degree in Information Science at the University of Milan, 1990. Career December 2004 - today Associate Professor in the Scientific Disciplinary Sector INF / 01 (Computer Science) at the Department of Theoretical and Applied Sciences of the University of Insubria. Jun 2003 - December 2004 Researcher in the Scientific Disciplinary Sector INF / 01 (Computer Science) at the Faculty of Science MM.FF.NN of the University of Insubria. April 2000 - May 2003 Researcher in the Scientific Disciplinary Sector INF / 01 (Computer Science) at the Faculty of Science MM.FF.NN of the University of Milan.
Research Interest
- Demonstration theory. - Proof-search in tableau and sequential calculations for intuitionist logic, intermedia logic and modal logic. - Automatic demonstration of theorems. - Constructive logic and their application to the synthesis of programs and the Specification of Abstract Data Types. - Complexity of demonstrations. - Intuitionist modal worms and constructive descriptive logic.
Publications
-
M. Ferrari, C. Fiorentini, and G. Fiorino. An Evaluation-Driven Decision Procedure for G3i. ACM Transactions on Computational Logic (TOCL), 6 (1): 8: 1, 8:37, 2015.
-
M. Ferrari and C. Fiorentini. Proof-search in natural deduction calculus for classical propositional logic. In H. De Nivelle, editor, TABLEAUX 2015, LNCS, vol. 9323, pages 237 - 252. Springer International Publishing, 2015.
-
M. Ferrari, C. Fiorentini and G. Fiorino. JTabWb: the Java framework for implementing terminating sequences and tableau calculi. Fundamenta Informaticae, 150 (1): 119-142, 2017.
