Menu Close
Scientia Professor and John Lions Chair, UNSW Sydney

Gernot's main research interests are in operating systems, especially microkernel-based systems, and their use in critical systems; cyber-security, especially operating-system security; system trustworthiness and robustness; real-time systems; virtualisation; energy/power management. Other interests include compute architecture, especially architectural support for operating systems.
See Google Scholar for publications.


  • 2018–present
    Chief Scientist (Software), HENSOLDT Cyber GmbH
  • 1991–present
    Scientia Professor and John Lions Chair, UNSW
  • 2015–present
    Chief Research Scientist, Data61, CSIRO
  • 2002–2015
    Principal Researcher, NICTA
  • 2006–2010
    Founder and CTO, Open Kernel Labs


  • 1991 
    ETH Zurich, PhD
  • 1984 
    Brock University, MSc
  • 1982 
    University of Freiburg, BSc

Professional Memberships

  • ACM
  • IEEE
  • Usenix
  • Institution of Engineers Australia

Research Areas

  • Computer System Security (080303)
  • Operating Systems (080307)


Fellow of the Australian Academy of Technology and Engineering (ATSE),
Fellow of the Association of Computing Machinery (ACM),
Fellow of the Institution of Electrical and Electronic Engineers (IEEE),
ACM SIGOPS Hall of Fame,
ACM Distinguished Lecturer,
South East Asia Regional Computer Confederation (SEARC) ICT Researcher of the Year 2016