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

PD Dr. Frank Sarre

Privatdozent der Fakultät für Mathematik, Informatik und Statistik an der LMU München

Picture of PD Dr. Frank Sarre

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

Office
Room 058, Oettingenstr. 67
Phone
+49 172 8 215 295
Fax
+49 (89) 2180-9175
E-Mail
frank.sarre@pst.ifi.lmu.de oder besser frank.sarre@projective.de

Öffentlich bestellter und vereidigter IT-Sachverständiger der Industrie- und Handelskammer München für Systeme und Anwendungen der Informationsverarbeitung

Siehe auch www.projective.de

Sprechstunde

Jeweils direkt um 9.30 Uhr im Anschluss an die Vorlesung oder nach Vereinbarung. In der vorlesungsfreien Zeit findet die Sprechstunde nicht statt.