Dr Gidon Ernst
- 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.
- 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