3 Papers accepted at ISoLA'20: "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs"

Martin Spiessl

Picture of Martin Spiessl

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Room F 012, Oettingenstr. 67
+49 89 2180 9185
E-Mail (Teaching, LMU)
(Please replace "lastname" with my last name)
Office Hours
by appointment, just write me an e-mail, then we can arrange a meeting via meet.lrz.de; you also have good chances to find me at chat.ifi.lmu.de (RBG Information about the chat)


Please send me encrypted mails!
My GPG key:
Fingerprint: 2663 F150 8204 6BDB 63DA 2A32 463C BA0F BEEF 6CEA