Research Bio

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. 

Research Expertise and Interest

mathematical logic