26–27 September 2017

Tokyo, Japan

Prof. Gernot Heiser

Scientia Professor and John Lions Chair, UNSW Sydney and
Chief Research Scientist, Trustworthy Systems Group, Data61, CSIRO

Scientia Professor Gernot Heiser is one of the world's leading operating systems researchers. Presently he leads the Software Systems Research Group project at NICTA, Australia's Centre of Excellence for ICT research. His research interests include truly dependable operating systems, microkernels and microkernel-based systems, virtualization, energy management and real-time systems.

His team's most recent achievement was producing the world's first operating-system kernel (seL4) with a mathematical correctness proof of its implementation, the first-ever complete and sound worst-case execution-time analysis of a protected multitasking operating system, and the synthesis of high-performance device drivers. Past achievements include the design and implementation of Mungi, a single-address-space operating system, high-performance user-level device drivers and (still unbeaten) record performance of microkernel message-passing (IPC) on a number of architectures.

Gernot teaches Advanced Operating Systems, a course recognised among researchers as well as industry as producing graduates with outstanding operating-systems skills. Gernot has also co-founded Open Kernel Labs (OK Labs), where he is a director and served as Chief Technology Officer for four years. By early 2012, OK Labs had shipped operating-system and virtualization products in more than 1.5 billion mobile phones.

Gernot has won numerous prizes and awards, including 2009 NSW Scientist of the Year (category Engineering, Mathematics and Computer Sciences) and named an Innovation Hero. He is also included in Engineers Australia Top-100 list of Australia's most influential engineers.