You’ve reached the homepage of Christoph Haase
I am an Associate Professor based in the Automated Verification Group at the Department of Computer Science at the University of Oxford and a Fellow of St Catherine’s College. The goal of my research is to develop rigorous mathematical methods, algorithms and tools that make hard- and software systems more reliable by automatically discovering bugs or proving their absence. I was awarded an ERC Starting Grant to investigate decision procedures for arithmetic theories in 2019.
I hold a D.Phil. (Ph.D.) degree from the University of Oxford and received an EPSRC doctoral prize for the accomplishments during my doctoral studies. Prior to my current appointment, I have worked at University College London, ENS Paris-Saclay and Microsoft Research Cambridge.
DPhil (PhD) in Computer Science, 2012
University of Oxford, UK
Diplom-Informatiker (BSc/MSc in Computer Science), 2007
Technische Universität Dresden, Germany
Visiting student, 2005-06
University of Bristol, UK
If you are interested in doing research on topics related to my research interests, please do get in touch for informal enquiries! I can offer a broad variety of topics to work on, ranging from fundamental problems in the theory of computation to engineering cutting-edge tools. You are of course welcome and encouraged to propose your own topics.
For more information on applying for a D.Phil. (that’s Oxford terminology for a Ph.D.), take a look at the Department’s webpage.