Research Expertise and Interest

mathematical logic

Research Description

My area of interest is logic, and inside logic I work in Computability Theory. More specifically, I am interested in studying the complexity of mathematical objects, constructions, statements and proofs.