LUCA SAN MAURO
COMPUTABILITY, LOGIC, AND PHILOSOPHY OF MATHEMATICS
I'm a research fellow at the Institute of Discrete Mathematics and Geometry of Vienna University of Technology (TU Wien), where I lead the project "A new way of classifying algorithmic problems in algebra" (2023-2027) funded by the Austrian Science Fund.
The core of my research lies in logic and in the foundations of mathematics. 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 Sapienza University of Rome, University of Bari, 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.
Here's an up-to-date copy of my CV.
You can reach me at luca.sanmauro(at)gmail.com. You also find me on ResearchGate and Google Scholar.
I'm the winner of Paolo Gentilini Prize 2022, awarded by the Italian Association for Logic and Its Applications (AILA) to a young distinguished researcher in mathematical logic
The paper Investigating the computable Friedman-Stanley jump has been accepted for publication in the Journal of Symbolic Logic
The paper Classifying word problems of finitely generated algebras via computable reducibility has been accepted for publication in the International Journal of Algebra and Computation