Coordinates
building, room
building, room 052-00-005
+49 761 203 8248 (phone)
+49 761 203 8242 (fax)
Consultation hours
Term:
Fridays 14:00 - 16:00
- Co-organizing the
Algorithms Theory lecture
together with
Phillip Heidegger
- Tutorial for the lecture Software Design, Modelling and Analysis in UML
- Working with the Jahob Verification System for reasoning about reachability in Trees and Lists.