Christoph Haase

Doctoral Student

Student, St Catherine's College

christoph.haase@cs.ox.ac.uk

+44 (0) 1865 2 73893

+44 (0) 1865 6 10706 (fax)

Room 421, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Model Checking of Infinite-State Systems
Knowledge Representation, in particular Description Logics
Formal software verifcation

Biography

I have recently finished my DPhil (PhD) thesis and I am currently working as a post-doctoral researcher under an EPSRC Doctoral Prize scheme.

From October 2007 until January 2012 I was reading for a DPhil (PhD) in Computer Science at the Department of Computer Science of the University of Oxford under the supervison of Joel Ouaknine. During that time, I was a member of St. Catherine's College. From April until June 2011, I did an internship with Microsoft Research Cambridge in the Programming Principles and Tools group where I worked on graph-based algorithms for entailment checking in Separation Logic. I have also been a teaching assistant for the courses Integer Programming (2009) and Advanced Data Structures and Algorithms (2010), and a practical demonstrator for Design and Analysis of Algorithms (2012).

I received my Diploma degree (in the Anglo-Saxon world roughly equivalent to a cominbed B.Sc. and M.Sc.) from the Department of Computer Science, TU Dresden, Germany in August 2007. My thesis was about the complexity of subsumption in extensions of the Description Logic EL and was supervised by Carsten Lutz. From September 2005 until June 2006 I was a visiting student at the Department of Computer Science at the University of Bristol within the ERASMUS program. During my studies I worked as a research student in the VFiasco project on formal software verification. I also developed parts of the web front-end of the on-line enrollment system jExam.

During my time in school I used to be a member of the Student's Center for Computer Science from September 1996 until June 2000.

Selected Publications

View all

Manage publications

On the Relationship between Reachability Problems in Timed and Counter Automata

Christoph Haase‚ Joel Ouaknine and James Worrell

May, 2012.

Submitted.

Details | BibTeX

Branching−Time Model Checking of Parametric One−Counter Automata

Stefan Göller‚ Christoph Haase‚ Joel Ouaknine and James Worrell

In Lars Birkedal, editor, Proceedings of the 15th International Conference on Foundations of Software Science and Computer Security (FoSSaCS'12). Vol. 7213 of Lecture Notes in Computer Science. Pages 406–420. Springer Berlin / Heidelberg. March, 2012.

Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-28729-9_27)

On the Complexity of Model Checking Counter Automata

Christoph Haase

PhD Thesis January, 2012.

Details | BibTeX | Download (pdf)