Antonio Montalban's area of interest is logic, and inside logic he works in Computability Theory. More specifically, he is interested in studying the complexity of mathematical objects, constructions, statements and proofs.