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)

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; you also have good chances to find me at (RBG Information about the chat)


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