Christoph Haase

Dipl TU Dresden, DPhil Oxf
College Lecturer in Computer Science
Departmental Lecturer in Theoretical Computer Science


I teach some of the first- and second-year subjects that are related to the theory of programming in the broadest sense. I also supervise third and fourth year undergraduate projects, primarily in the areas of formal verification and theoretical computer science. Do get in touch with me if you want to do a project with me in any of those areas.

About me

I studied Computer Science with Neuroinformatics as a subsidiary subject and a specialisation in the theory of programming at Technical University Dresden, Germany. Subsequently, I continued with a doctorate at Oxford, did a four-year postdoc at ENS Cachan in France, and returned to Oxford as a Departmental Lecturer in 2016. I joined Catz as a College Lecturer in Michaelmas 2017.


My research centres around all aspects of formal verification, ranging from mathematical foundations to concrete verification tools. Formal verification is a research area that aims at developing mathematical models of systems that allow for proving properties of such systems. This gives a much greater level of confidence into the reliability of a system, as it allows for guaranteeing the absence of errors whereas other methods such as testing can only reveal the presence of errors.

If you would like to do research with me at any stage, please get in touch or drop by my office.