Coordinates
building, room
052-00-018
+49 761 203 6952 (phone)
+49 761 203 8242 (fax)
Research Interests:
- Verification
- Game Theory
- Requirements' Analysis
Teaching and Tutoring:
- Model Checking (Summer Term 2009)
- Software Reliability (Winter Term 2008/2009)
- Automata and Games (Summer Term 2008)
- Verification (Winter Term 2007/2008)