Contact & Address
PGP Public Key: 0x033DE66F
Fingerprint: BBC4 36E1 F2BA BA4E 8E81 872E 9787 7E1F 033D E66F
Software and Computational Systems Lab
Institute for Informatics
LMU Munich
Room: F 004
Oettingenstraße 67
80538 Munich (Germany)
thomas.lemberger@sosy.ifi.lmu.de
+49 89 2180 9177
Office hours: Thursday, 14:00 – 16:00
Teaching
- WS'17/18: Formal Specification and Verification 2
- WS'17/18: Training Course (Praktikum) on "Formal Specification and Verification 2"
PDF