Laurea in Filosofia a Pisa nel 2001 con una tesi in Logica dedicata ai risultati d'incompletezza ottenuti successivamente ai più noti teoremi di Gödel.
Nel 2006 ho conseguito congiuntamente i titoli di dottore di ricerca in Filosofia e Teoria delle Scienze Umane (Università di Roma Tre) e in Mathématiques Discrètes et Fondaments de l'Informatique (Institut de Mathématiques de Luminy). Durante il periodo di dottorato ho lavorato su temi di teoria della dimostrazione per le logiche classica e lineare.
Attualmente sono professore associato presso il Dipartimento di Studi letterari, filosofici e di Storia dell'arte dell'Università di Roma «Tor Vergata» dove insegno Logica e Filosofia della scienza.
Prima di arrivare a Roma ho insegnato presso varie università italiane ed estere, tra queste l'Université Paris 1-Sorbonne, l'Universidade NOVA de Lisboa e il Center for Logic, Epistemology, and History of Science di Campinas. Ho svolto inoltre attività di ricerca presso l'École Normale Supérieure di Parigi e l'Institute for Logic, Language, and Computation di Amsterdam.
Mi occupo principalmente di Teoria della dimostrazione e di Filosofia della matematica. I miei studi sono stati pubblicati su alcune tra le riviste più importanti del settore; tra queste, gli Annals of Pure and Applied Logic, l'European Journal for Philosophy of Science, il Journal of Logic and Computation e la Review of Symbolic Logic.
Nel 2020 sono stato eletto membro del direttivo della SILFS, la Società Italiana di Logica e Filosofia della Scienza, per il triennio 2020-2023.
Alcune tra le pubblicazioni più recenti:
Con A. Varzi. Complementary proof-nets for classical logic. Logica Universalis. 17, 411–432 (2023).
Cut elimination by unthreading. Archive for Mathematical Logic (2023). https://doi.org/10.1007/s00153-023-00892-4
Con M. Piazza and A. Sabatini. Abduction as deductive saturation: a proof-theoretic inquiry. Journal of Philosphical Logic 52, 1575–1602 (2023).
Con M. Piazza e M. Tesi. Linear logic in a refutational setting. Bulletin of the Section of Logic (in corso di pubblicazione).
Con M. Piazza e M. Tesi. Modal Logic and Soft Bilateralism. Bulletin of the Section of Logic (in corso di pubblicazione).
A note on cut-elimination for classical propositional logic. Archive for Mathematical Logic, Vol. 61, p. 555-565 (2022).
Con M. Piazza and M. Tesi. Fractional-valued modal logic. Review of Symbolic Logic, published online (2021) doi:10.1017/S1755020321000411
Con G. Boniolo, M. D’Agostiono, and M. Piazza. Molecular biology meets logic. Context sensitiveness in focus. Foundations of Science, Springer (2021). doi:10.1007/s10699-021-09789-y
Con M. Piazza. Fractional semantics for classical logic. Review of Symbolic Logic, Volume 13, Issue 4, pp. 810-828 (2020).
Con A. Varzi. Paraconsistency in classical logic. Synthese, 195(12): 5485-5496 (2018).