Research Bio

Antonio Montalbán researches foundational aspects of mathematics through computability theory and mathematical logic. He is best known for contributions to understanding the complexity of mathematical objects, structures, and proofs, including work on computable structure theory and reverse mathematics of determinacy in second-order arithmetic.

His research elucidates how complexity arises in countable mathematical constructs and has influenced logic through deep theorems and foundational clarity. He is recognized as a Packard Fellow and serves as an Associate Professor of Mathematics.

He is Professor of Mathematics at UC Berkeley. His expertise spans computability theory, mathematical logic, and complexity of mathematical structures.

Research Expertise and Interest

mathematical logic