Gernot Heiser

Gernot Heiser (born 1957) is professor for operating systems at the University of New South Wales (UNSW). He is also leader of the Embedded, Real-Time and Operating Systems (ERTOS) research program at NICTA. Recently he has founded a company called [http://www.ok-labs.com Open Kernel Labs] (OK) where he serves as Chief Technology Officer.

His research focuses on microkernels and microkernel-based systems as well as virtual machines. His group produced the Mungi single address space operating system [cite journal
quotes =
author = Heiser, Gernot
coauthors = Elphinstone, Kevin; Vochteloo, Jerry; Russell, Stephen; Liedtke, Jochen
date =
year = 1998
month =
title = The Mungi Single-Address-Space Operating System
journal = Software: Practice and Experience
volume = 28
issue =
pages = 901–928
issn =
pmid =
doi =
id =
url =
language =
format =
accessdate =
laysummary =
laysource =
laydate =
quote = ] andimplementations of the L4 microkernel with very fast inter-process communication. [cite conference
first = Jochen
last = Liedtke
authorlink = Jochen Liedtke
coauthors = Elphinstone, Kevin; Schönberg, Sebastian; Härtig, Hermann; Heiser, Gernot; Islam, Nayeem; Jaeger, Trent
title = Achieved IPC performance (still the foundation for extensibility)
booktitle = 6th Workshop on Hot Topics in Operating Systems
pages = 28–31
publisher = IEEE
month = May | year = 1997
location = Cape Cod, MA, USA
url = http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=4643
accessdate =
id = ]

In the past he also worked on semiconductor device simulation, where he pioneered the use of multi-dimensional modeling in the optimisation of silicon-based solar cells.

Operating-System Projects

* [http://www.ertos.nicta.com.au/research/mungi/ Mungi] and [http://www.ertos.nicta.com.au/iguana/ Iguana] single address space operating systems
* [http://www.ertos.nicta.com.au/wombat/ Wombat] portable Linux on L4 microkernel
* [http://gelato.unsw.edu.au/ Gelato@UNSW] performance and scalability of Linux on Itanium

Publications of Note

External links

* [http://gernot.web.cse.unsw.edu.au Gernot Heiser's home page]
* [http://www.nicta.com.au/ertos Embedded, Real-Time and Operating Systems Program] at NICTA
* [http://www.ok-labs.com Open Kernel Labs]
* [http://www.cse.unsw.edu.au/db/staff/info/gernot.html Staff page at UNSW]
* [http://www.ok-labs.com/company/people/gernot_heiser Bio at OK Labs]
* [http://www.ertos.nicta.com.au/ The ERTOS page at NICTA]
* [http://www.ertos.nicta.com.au/people/?cn=Gernot%20Heiser Bio at NICTA]
* [http://i30www.ira.uka.de/aboutus/people/personal/heiser?lid=en&publ=y Visiting professor at Universität Karlsruhe]