Laureato nel 2002 in Filosofia presso l’Università Cattolica ho conseguito il dottorato di ricerca (2006) in Filosofia presso la medesima Università. Sono stato docente presso la Scuola di Specializzazione per l’Insegnamento Secondario Superiore, Università di Bolzano (2007-2009) e assegnista di ricerca, presso il Dipartimento di Filosofia dell’Università Cattolica, dal 2008 al 2012. Dal I maggio del 2012 sono Ricercatore (S.S.D. M-FIL/02) presso il medesimo Dipartimento. Sono titolare dell'insegnamento Epistemologia: modelli del sapere nel corso di Laurea in Filosofia.
Le mie aree di ricerca sono logica matematica, filosofia della logica e della matematica, filosofia della scienza. Mi occupo, in generale, dei rapporti tra sapere formale e tematiche filosofiche classiche, specialmente ontologiche ed epistemologiche. In particolare, mi interesso della rilevanza ontologica dei sistemi di logica di ordine superiore, della caratterizzazione del dominio dei numeri naturali, della formalizzazione del nesso di conseguenza logica e della trattazione formale del predicato di verità.
Le mie aree di interesse riguardano la metafisica, la filosofia della mente e la filosofia della religione, con particolare attenzione ai rapporti tra logica formale e teologia razionale.
