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.
Here is a 4 page description of
my research written for Mathematicians
in general. Here is an 9 page description of
my research written for logicians. An even shorter description. (2 pages).