Dr. Gidon Ernst
Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538
Munich
(Germany)
- firstname.lastname@sosy.ifi.lmu.de
Personal
Curriculum vitae, Google Scholar, DBLP, ORCID, Github, TwitterResearch
My research focuses in scalable methods for software specification, testing, and verification. I am specifically intested in system properties that go beyond sequential functional correctness, such as crash tolerance for file systems, concurrency, or information flow security. I have a strong interest in tool building and applying these to realistic and practical challenges.
Current Projects
- COVERN: compositional verification and refinement of noninterference
(with Toby Murray) - FalStar: falsification of temporal logic requirements for hybrid systems
(with Ichiro Hasuo, Sean Sedwards, Zhenya Zhang)
Service
- PC co-chair: FTfJP 2019 at ECOOP 2019
- Co-organizer: ARCH 2019, VerifyThis 2018
- PC: 4PAD 2019, SAC 2019, SAS 2018 (artifact evaluation), 4PAD 2018