Dottore di ricerca in Logica ed Epistemologia all'Università di Roma La Sapienza, è attualmente ricercatore (RTD-B) presso il Dipartimento di Scienze Pure e Applicate dell'Università degli Studi di Urbino Carlo Bo. Le sue aree di ricerca sono principalmente la logica, i fondamenti della geometria e la filosofia della computazione. Con riferimento alle sue pubblicazioni e progetti di ricerca è possibile visitare la sua pagina web.