معرفی
Gidon Ernst is a Junior Professor (Assistant Professor) for Software Verification at the Department of Computer Science, LMU Munich, where he leads research in the Software and Computational Systems Lab. His work focuses on formal methods for software engineering, with particular emphasis on verification, testing, and security analysis of complex systems.
His research interests span formal methods for software engineering, software testing, interactive and automated proofs, hybrid systems, and falsification. Ernst's work addresses challenges in relational proofs for substitution principle, software testing with Legion (a tool combining concolic execution and fuzzing), concurrent information flow security with SecCSL and SecC, and falsification of temporal logic requirements for hybrid systems. His approach often combines theoretical foundations with practical tool development.
Ernst's publication record shows a strong focus on verification of security properties, particularly information flow security in concurrent systems, and falsification of hybrid systems. His recent work has advanced techniques for adaptive probabilistic search in falsification, compositional vulnerability detection, and contract-based software specification. He actively contributes to the verification community through competitions like VerifyThis and ARCH.
- Best Master Lecture 2022 in Computer Science (awarded by Gruppe Aktiver Fachschaftika)
Ernst has supervised PhD student Dongge Liu on software fuzzing with machine learning (2018-2022), co-supervised with Toby Murray and Ben Rubinstein from the University of Melbourne. His teaching includes courses on formal specification and verification, methods in software engineering, and various seminars on software quality assurance and deductive verification. He has also served on numerous program committees and organized major verification events including SPIN 2025 and the VerifyThis challenge series.
Ernst maintains active collaborations with researchers worldwide, particularly in the areas of hybrid systems verification (with Ichiro Hasuo, Sean Sedwards, and Zhenya Zhang) and information flow security (with Toby Murray). His work bridges theoretical computer science with practical software engineering challenges, developing tools that have seen adoption in both academic and industrial settings.
