Paper "Software Verification with PDR: An Implementation of the State of the Art" published in Proc. TACAS'20 and available now!

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)

Office
Room F 012, Oettingenstr. 67
Phone
+49 89 2180 9185
E-Mail (Teaching, LMU)
lastname@sosy.ifi.lmu.de
(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)

GPG-Key

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

Teaching