I am a third year student reading for a DPhil (PhD) in Computer Science at the Computing Laboratory of the University of Oxford and a member of St. Catherine's College. Currently, I am working on Model-Checking for Timed Systems. My supervisor is Joel Ouaknine.
I received my Diploma degree from the Department of Computer Science of TU Dresden 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. I worked as a research student with Hendrik Tews in the VFiasco project on formal software verification from August 2004 until August 2005. Furthermore, I developed parts of the web front-end of the on-line enrollment system jExam from November 2003 until April 2005.
As a pupil I was member of the Student's Center for Computer Science from September 1996 until June 2000.
