Christoph Haase

Associate Professor of Computer Science · www.cs.ox.ac.uk · University of Oxford

Quick answer: Christoph Haase is Associate Professor of Computer Science at University of Oxford. Christoph Haase shows an active PhD hiring signal as of 2026-09-11.

⭐ Post-Doc Opening -- Deadline January 2023; Post-Doc Opening -- Deadline July 2022

Research interests

For further information, see my personal webpage.

Selected publications (since 2023)

[2024] Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche. An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. International Colloquium on Automata, Languages, and Programming, ICALP. [2024] Rémy Défossez, Christoph Haase, Alessio Mansutti, Guillermo A. Pérez. Integer Programming with GCD Constraints. Symposium on Discrete Algorithms, SODA. [2024] Andrei Draghici, Christoph Haase, Andrew Ryzhikov. Reachability in Fixed VASS: Expressiveness and Lower Bounds. Foundations of Software Science and Computation Structures, FoSSaCS. [2024] Andrei Draghici, Christoph Haase, Florin Manea. Semënov Arithmetic, Affine VASS, and String Constraints. Symposium on Theoretical Aspects of Computer Science, STACS. [2023] Przemysław Andrzej Wał

Faculty homepage More professors at University of Oxford

Frequently asked questions

Is Christoph Haase hiring PhD students at University of Oxford?

Yes. As of 2026-09-11, Christoph Haase's faculty page shows a PhD hiring signal: Post-Doc Opening -- Deadline January 2023; Post-Doc Opening -- Deadline July 2022.

What does Christoph Haase research?

For further information, see my personal webpage.

Data last updated: 2026-09-11 · Source: phd-match.com faculty database.

Is Christoph Haase a match for your research?

Upload your CV and get matched to professors who fit — with hiring signals.

Start matching