Ha conseguito la Laurea in Filosofia nel 2001 presso l'Istituto di Filosofia "Arturo Massolo" dell'Università di Urbino, sotto la supervisione del Prof. Gino Tarozzi e Prof. Silvio Bozzi, con una tesi in logica dal titolo "Analisi e Sintesi in Geometria. La Prospettiva della Teoria Intuizionista dei Tipi". Ha conseguito il Dottorato di Ricerca in Logica ed Epistemologia nel 2007 presso l'Università di Roma "La Sapienza" sotto la supervisione del Prof. Carlo Cellucci e del Prof. Jan von Plato con una tesi dal titolo "Analisi Strutturale e Fondazionale della Geometria del Piano di Euclide". È stato professore a contratto sia presso l'Università di Chieti-Pescara che presso l'Università di Urbino. Attualmente è RTD-B in Logica e Filosofia della Scienza presso il Corso di Laurea Magistrale in Filosofia dell'Informazione, Dipartimento di Scienze Pure e Applicate, Università degli studi di Urbino Carlo Bo. È, inoltre, presso lo stesso corso di laurea, docente di "Logica e Computazione", di "Fondamenti di Logica" e di "Semantica del Web". I suoi ambiti di ricerca sono la logica con particolare attenzione agli aspetti computazionali, i fondamenti della geometria, la dimostrazione automatica, la robotica sociale.