Main Research Group: Logic

Research Interests: Program verification, Foundations of programming languages, Proof theory,  Computational Complexity, Constructive Mathematics.