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