Coordinates
building, room
052-00-022
+49 761 203 8292 (phone)
+49 761 203 8242 (fax)
Research Interests:
- Satisfiability Modulo Theories (SMT)
- Interpolation
- Decision Procedures
- Model Checking
Teaching/Tutorials:
Software Reliability (Winter Term 08/09)
