Gernot Heiser is Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney, where he leads the Trustworthy Systems research group. His research interest are in operating systems, real-time systems, security and safety. His research vision is to completely change the cybersecurity game from playing catch-up with attackers to systems that are provably secure and safe. With his team he pioneered the large-scale formal verification of systems code, specifically the design, implementation and formal verification of the seL4 microkernel; seL4 is now being used in real-world security- and safety-critical systems from defence to cars. He is a Fellow of the IEEE, the ACM, Engineers Australia and a member of the German Academy of Sciences Leopoldina

Gernot Heiser is a pioneer in the development of formally verified secure computer operating systems. Secure systems underpin the protection of computer systems from cyber attack and the development of dependable systems in applications from robotics to medical devices. Gernot developed the mathematics to allow large-scale verification of operating systems, led the development of the first secure microkernel, and led commercial developments that saw deployment on over 1.5 billion mobile phones, and more recently in defence robotics systems.