Christoph Haase
|
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 am a final year student reading for a DPhil (PhD) in Computer Science at the Department of Computer Science, University of Oxford and a member of St. Catherine's College. My supervisor is Joel Ouaknine.
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 Advanced Data Structures and Algorithms (2010) and Integer Programming (2009).
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 with Hendrik Tews 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.
Recent News
Miscellaneous
Papers accepted to FoSSaCS 2012
Computer scientists from Oxford have co-authored a series of papers that have been accepted to FoSSaCS 2012 – the international conference on the foundations of software
Selected Publications
| 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. xxxx of Lecture Notes in Computer Science. Springer. March, 2012. To appear. |
| Tractable Reasoning in a Fragment of Separation Logic. Byron Cook‚ Christoph Haase‚ Joel Ouaknine‚ Matthew Parkinson and James Worrell In Joost−Pieter Katoen and Barbara König, editors, Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11). Vol. 6901 of Lecture Notes in Computer Science. Pages 235–249. Springer. 2011. Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-23217-6_16) |
| Model Checking Succinct and Parametric One−Counter Automata Stefan Göller‚ Christoph Haase‚ Joel Ouaknine and James Worrell In Samson Abramsky‚ Cyril Gavoille‚ Claude Kirchner‚ Friedhelm Meyer auf der Heide and Paul G. Spirakis, editors, Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP'10)‚ Track B (Part II). Vol. 6199 of Lecture Notes in Computer Science. Pages 575–586. Springer. July, 2010. |
Info
|
Themes |
|
|
Activities |
|
|
Completed Projects |
