Research areas: structural proof theory, lambda-calculus, type theory, intuitionistic and other logics, proof search, normalisation, automated theorem proving, proof development systems.
Publications
Journal of Logical and Algebraic Methods in Programming | 2022
Annals of Pure and Applied Logic | 2021
Leibniz International Proceedings in Informatics, LIPIcs | 2021
arXiv | 2020
Fundamenta Informaticae | 2019