Research areas: structural proof theory, lambda-calculus, type theory, intuitionistic and other logics, proof search, normalisation, automated theorem proving, proof development systems.
Publications
Proceedings of the 2nd Gauss Symposium. Conference A: Mathematics and Theoretical Physics (Munich, 1993) | 1996
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1994