Dr. Philipp Wendler
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 008, Oettingenstr. 67
- Office hours
- Monday 10-11
- 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: 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)