Christoph Haase

Christoph Haase is an Associate Professor at the University of Oxford's Department of Computer Science and a Tutorial Fellow at St Catherine's College. His research focuses on algorithmic verification, automated reasoning, and logic in computer science, with a particular emphasis on decision procedures for arithmetic theories. He leads the ARiAT ERC-funded project investigating arithmetic theories' decision procedures and serves as an Associate Editor for the Journal of Computer and System Sciences.

Education:

• DPhil (PhD) in Computer Science, University of Oxford (2012)
• Diplom-Informatiker (BSc/MSc), Technische Universität Dresden (2007)
• Visiting Student, University of Bristol (2005–2006)

Research Interests:

• Algorithmic Verification of Software/Hardware Systems
• Automated Reasoning Techniques
• Automata Theory and its Applications
• Formal Methods for Decision Procedures in Arithmetic

Publications: His recent work spans Presburger arithmetic, vector addition systems, and automated deduction tools. Key trends include advancements in decision procedures, complexity analysis, and applications in formal verification.

Awards: Recipient of the ERC Starting Grant (2019) and EPSRC Doctoral Prize. His student Ruiwen Dong earned the EATCS Distinguished Dissertation Award.

Advising & Grants: Supervises DPhil students and postdocs in arithmetic theories and verification. Active in organizing workshops (e.g., Trends in Arithmetic Theories) and serves on program committees for major conferences like ICALP, FOSSACS, and STACS.

Labs/Teams: Leads the Automated Verification Group at Oxford and collaborates with researchers globally on projects like ARiAT and tool development (e.g., SeLoger).