Gernot Heiser

Gernot Heiser
Gernot Heiser
Born	1957 (age 59–60)
Nationality	German, Australian
Institutions	University of New South Wales (Scientia Professor and John Lions Chair of Operating Systems) NICTA (research group leader) Open Kernel Labs (Founder and former CTO and Director)
Known for	Operating Systems teaching, research and commercialisation
Notable awards	ACM Fellow (2014)
Website gernot-heiser.org

Gernot Heiser (born 1957) is a Scientia Professor and the John Lions Chair for operating systems at the University of New South Wales (UNSW). He is also leader of the Software Systems Research Group (SSRG) at NICTA. In 2006 he co-founded Open Kernel Labs (OK Labs, acquired in 2012 by General Dynamics) to commercialise his L4 microkernel technology.

Gernot Heiser was born in 1957. He studied physics at the German University of Freiburg, where he earned his BSc, went on to earn his MSc at the Canadian Brock University, and his PhD at the Swiss ETH Zurich.

Heiser's research focuses on microkernels and microkernel-based systems as well as virtual machines, with a specific emphasis on performance and reliability.

His group produced the Mungi single address space operating system, aimed at clusters of 64-bit computers, and implementations of the L4 microkernel with very fast inter-process communication. His Gelato@UNSW team was a founding member of the Gelato Federation, and focused on performance and scalability of Linux on Itanium. They established theoretical and practical performance limits of message-passing IPC on Itanium.

Since joining NICTA at its creation in 2002, his research shifted away from high-end computing platforms towards embedded systems, with the specific aim of improving security, safety and reliability via the use of microkernel technology. This led to the development of a new microkernel called seL4, and its formal verification, claimed to be the first-ever complete proof of the functional correctness of a general-purpose OS kernel.

...
Wikipedia