Dr. Philipp Wendler
Software and Computational Systems Lab
Institute for Informatics
LMU Munich
Room: F 008
Oettingenstraße 67
80538 Munich (Germany)
- Office hours
- Monday 10-11 (next office hours on Oct 15th)
- Phone
- +49 89 2180-9181
- firstname.lastname@lmu.de
- Personal Homepage
- https://www.philippwendler.de
GPG-Key
Please send me encrypted mails!
My GPG key is 0x31A9DE8C.
Fingerprint: 19D5 A10B 2D97 88D8 7CBE E5ED 62C0 F78C 31A9 DE8C
Projects
- CPAchecker: The Configurable Software-Verification Platform
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Publications
(List at DBLP – My ORCID)