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"

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.