Dr Gidon Ernst

  • Room: Level: 08 Room: 8.14
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Formal Methods (Theorem Proving, Software Verification)
  • Hybrid Systems (Falsification, Quantitative Semantics, Simulink Models)
  • Software Engineering and Quality Assurance


I am a postdoc fellow with Toby Murray at the University of Melbourne. I completed my doctorate in 2016 at the University of Augsburg under the supervision of Wolfgang Reif. I spent about a year as a postdoc in the ERATO Metamathematics for Systems Design lead by Ichiro Hasuo at NII, Tokyo.
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.

Recent publications

  1. Zhang, Z.; Ernst, G.; Sedwards, S.; Arcaini, P.; Hasuo, I. Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. 2018, Vol. 37, Issue 11, pp. 2894-2905. DOI: 10.1109/TCAD.2018.2858463