Coordinates
building, room
052, 00-021
+49 761 203 8245 (phone)
+49 761 203 8242 (fax)
- Tutorial: Formal Methods for Java (WS 2007/2008)
- Tutorial: Softwaretechnik (SS 2008)
- Tutorial: Decision Procedures (WS 2008/2009)
- Tutorial: Real-Time Systems (SS2009)
Current Activities
- Development of a transition constraint generator for Java/JML
- Project SALOMO
Extracurricular Activities
- I work as voluntary webmaster for the Foundation for Postconflict Development
