My area of interest is logic, and
inside logic I work in Computability
specifically, I am interested in studying the complexity of
mathematical objects, constructions, statements and proofs.
Here is a brief description of my
research written for Mathematicians
in general (4 pages, from 2010) Here is an slighlty longer
description of my research written for logicians. (9 pages, from 2011) An even shorter description. (2 pages,