Visits:   D-03044 Cottbus, Ewald-Haase-Straße 13, Room 102
Fax:      + 49  3 55  69 38 10
Tel:       + 49  3 55  69 38 02

• Rabbit and Verification of Real-Time Systems (my PhD research project).
• CrocoPat and Relational Querying for Software Analysis (my current research project).
• My Publications.
• A Knowledge Base (documents and links collected from other sources and provided for students, colleagues, and myself).
• Teaching (information for students attending the courses I'm involved with).
• My Personal Web page (for my friends).
• Curriculum Vitae (Lebenslauf).