My research is in the area of mathematical logic. I am specifically interested in topics
at the intersection between computability theory and proof theory (reverse mathematics,
constructive mathematics, intuitionistic arithmetic and analysis, type theory). Most of my
work has been in classical reverse mathematics, mainly in the reverse mathematics of order
theory. I am currently interested in some questions about constructive mathematics and in
the interaction bewteen constructive mathematics and computable mathematics.