Christoph Haase

Christoph Haase is an Associate Professor at the Department of Computer Science, University of Oxford, and a Fellow of St Catherine’s College. His research focuses on developing rigorous mathematical methods for algorithmic verification, automated reasoning, automata theory, and logic in computer science.

• University of Oxford, UK (Current)
• University College London, UK (Former)
• ENS Paris-Saclay, France (Former)
• Microsoft Research Cambridge, UK (Former)

His work includes fundamental contributions to decision procedures for arithmetic theories, particularly in Presburger and Büchi arithmetic, and applications to verification of software and hardware systems. He leads the ARiAT project, funded by an ERC Starting Grant (2020–2025), aiming to advance quantifier elimination and complexity bounds for arithmetic theories.

Key publication trends include verification, automata theory, arithmetic logic, computational complexity, and automated reasoning. Collaborations span institutions like University of Paris, UCL, and Microsoft Research.

Scientific Awards:

• ERC Starting Grant (2019)
• EPSRC Doctoral Prize (during DPhil studies)

He has supervised PhD and MEng projects on topics such as SAT solving, linear arithmetic, and matrix semigroups, often co-supervising with researchers like Stefan Kiefer and James Worrell. Teaching includes Logic and Proof at Oxford and Operating Systems at ENS Paris-Saclay.