Menu Close
Chief Research Scientist at CSIRO's Data61; Scientia Professor and John Lions Chair, UNSW

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.


  • 2015–present
    Chief Research Scientist, Data61, CSIRO
  • 1991–present
    Scientia Professor and John Lions Chair, UNSW
  • 2002–2015
    Principal Researcher, NICTA


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

Professional Memberships

  • ACM
  • IEEE
  • Usenix
  • Institution of Engineers Australia

Research Areas

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


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).