Research areas: structural proof theory, lambda-calculus, type theory, intuitionistic and other logics, proof search, normalisation, automated theorem proving, proof development systems.
Publications
Springer Proceedings in Mathematics and Statistics | 2017
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2014
Electronic Proceedings in Theoretical Computer Science, EPTCS | 2013
Mathematical Structures in Computer Science | 2013
ACM Transactions on Computational Logic | 2011