LUCA SAN MAURO
COMPUTABILITY, LOGIC, AND PHILOSOPHY OF MATHEMATICS
I'm an assistant professor of logic (RTDb) at the University of Bari. I also lead the project "A new way of classifying algorithmic problems in algebra" (2022-2026), funded by the Austrian Science Fund and based at the TU Wien.
In my research, I’m particularly keen on using computability theoretic machinery to tackle problems coming from a wide range of fields, such as philosophy, general mathematics, theoretical computer science, and linguistics.
I've held research or teaching positions at several institutions, including TU Wien, Sapienza University of Rome, and University of Siena. I received a Ph.D. from Scuola Normale Superiore in Pisa in 2016. I obtained the Habilitation to be associate professor both in Mathematical Logic and Logic and Philosophy of Science from the Italian Ministry of Education.
The paper Investigating the computable Friedman-Stanley jump has been accepted for publication in the Journal of Symbolic Logic
The paper How to make (mathematical) assertions with directives has been accepted for publication in Synthese