I'm an Associate Professor of Logic at the University of Bari.

I use computability theory to study the complexity of problems arising in logic and mathematics, as well as in philosophy, theoretical computer science, artificial intelligence, and linguistics. My current research focuses on algorithmic learning theory, classification problems in computable structure theory, infinite argumentation frameworks, and the philosophy of mathematics.

I received my PhD from the Scuola Normale Superiore in Pisa in 2016 and have held research and teaching positions at TU Wien, Sapienza University of Rome, and the University of Siena. I hold the Italian National Scientific Qualification (ASN) for full professorship in both Mathematical Logic and Logic and Philosophy of Science.

My CV is available here. You can reach me at luca.sanmauro(at)gmail.com, and my work is also listed on Google Scholar.