Researcher

Scientia Professor Gernot Heiser

My Expertise

work on fundamental solutions to cybersecurity challenges by making systems truly trustworthy. I  was the founder of the Trustworthy Systems Research Group at Data61 (formerly NICTA), known as world leaders in applying formal methods (i.e. mathematical proof techniques) to ensure the security and safety of real-world computing systems. I have a strong track record of technology transfer through industry collaborations, consulting and startups.

My research interests include:

  • Operating Systems, especially microkernels and microkernel-based systems
  • Cybersecurity, highly-secure and dependable systems, high-assurance systems, analysis and mitigation of cyber threats
  • Real-time systems, especially operating systems for temporal safety
  • Virtualization
  • Embedded Systems
  • Energy and Power Management
  • Architectural support for operating systems
  • Multicore Systems
  • Dependability

Keywords

Field of Research (FoR)

SEO tags

Biography

I have been an academic at UNSW since completing my PhD in 1991. I am a full professor since 2002. Since 2009 I hold the John Lions Chair of Operating systems, and since 2011 the title of Scientia Professor.

Since its creation in 2003 I was a research program leader at NICTA, where I created what is now the Trustworthy Systems group, a joint research group of UNSW and CSIRO's Data61.

I have co-founded Open Kernel Labs in 2006 for...view more

I have been an academic at UNSW since completing my PhD in 1991. I am a full professor since 2002. Since 2009 I hold the John Lions Chair of Operating systems, and since 2011 the title of Scientia Professor.

Since its creation in 2003 I was a research program leader at NICTA, where I created what is now the Trustworthy Systems group, a joint research group of UNSW and CSIRO's Data61.

I have co-founded Open Kernel Labs in 2006 for commercialising my microkernel research outcomes. This has led to the L4-embedded microkernel being deployed on billions of mobile devices, including the secure enclave of all recent iOS devices, where it protects security-critical operations. OK Labs was sold to General Dynamics in 2012.

I am co-founder of Munich-based Secure Elements GmbH, and serve as Chief Scientist (Software) at its joint-venture company HENSOLDT Cyber GmbH, which develops a secure processor with an operating system based on my group's seL4 microkernel.


My Qualifications

  • BSc'82 physics (Freiburg)
  • MSc'84 physics (Brock)
  • PhD'91 computer engineering (ETH Zurich)

My Awards


My Research Supervision


Supervision keywords


Areas of supervision

I supervise honours and PhD thesis in my research areas. Most projects require a strong background in operating-system internals. I'm always looking for top students who want to be part of a team that's changing the world.


My Teaching

View less

Location

Level 3, K17 Building

Map reference (Google map)

Contact

+61-2-9490-5850