My principal research interests include mathematical logic and theoretical computer science, more specifically proof theory, explicit mathematics, the unfolding program, predicativity and metapredicativity, higher type functionals, as well as applicative theories and computational complexity.
My teaching activities range from subjects in mathematical logic and theoretical computer science (e.g. computability, complexity, non-classical logics) to applied courses in computer science (e.g. introduction to programming).
I am member of the the Editorial Board of The Journal of Symbolic Logic and member of the Consulting Board of Dialectica.
My CV with with complete list of publications can be downloaded here.