Gernot Heiser speaking at the UNSW CSE Research Expo October 25 2022
Born
1957 (age 66–67)
Nationality
German, Australian
Education
University of Freiburg, BSc Brock University, MSc ETH Zurich, PhD
Known for
Operating system teaching, research, commercialising
Awards
Leopoldina Member (2023) RSN Fellow (2022) ACM SIGOPS Hall of Fame Award (2019) ATSE Fellow (2016) IEEE Fellow (2016) ACM Fellow (2014)
Scientific career
Fields
Computer science
Institutions
University of New South Wales (Scientia Professor and John Lions Chair of Operating Systems) NICTA (research group leader) Open Kernel Labs (founder, former CTO, director)
Website
gernot-heiser.org
Gernot Heiser (born 1957) is a Scientia Professor and the John Lions Chair for operating systems at UNSW Sydney, where he leads the Trustworthy Systems group (TS).
GernotHeiser (born 1957) is a Scientia Professor and the John Lions Chair for operating systems at UNSW Sydney, where he leads the Trustworthy Systems...
1952), British priest GernotHeiser (born 1957), Australian professor Joseph M. Heiser Jr., American general Michael S. Heiser, American scholar and author...
embedded systems. The company was founded in 2006 by Steve Subar and GernotHeiser as a spinout from NICTA. It was headquartered in Chicago, while research...
Publishing GmbH. pp. 5–6. ISBN 978-3-656-49071-5. Retrieved March 7, 2015. GernotHeiser (April 2008). "The role of virtualization in embedded systems". Proc...
authors list (link) Pietro P. Altermatt, Andreas Schenk, Frank Geelhaar, GernotHeiser (2003). "Reassessment of the intrinsic carrier density in crystalline...
sale from late 2006. In August 2006, ERTOS leader and UNSW professor GernotHeiser spun out a company named Open Kernel Labs (OK Labs) to support commercial...
vmwarez.com (2006-05-09). Retrieved on 2013-06-14. Matthew Chapman and GernotHeiser. vNUMA: A virtual shared-memory multiprocessor. Proceedings of the 2009...
Year Project Recipients 2022 seL4 GernotHeiser, Gerwin Klein, Harvey Tuch, Kevin Elphinstone, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe...
the first chair at UNSW funded by contributions from alumni. In 2009, GernotHeiser became the inaugural John Lions Chair. Of the Usenix donations, US$6...
doi:10.1145/143371.143508. Tim Wilkinson; Kevin Murray; Stephen Russell; GernotHeiser; Jochen Liedt (13 November 1995). "Single Address Space Operating Systems"...
type systems and data parallelism in functional programming researcher GernotHeiser, operating systems researcher Hussein Abbass, artificial intelligence...
Vice-Chancellor of Flinders University from 2008 until 2014 (Mathematics) GernotHeiser, John Lions chair and computer scientist Sharon Beder, arts academic...
contributions to high dynamic range display and computational cameras 2016 GernotHeiser For contributions to security and safety of operating systems 2015 Constance...
Harch FTSE QLD 2013 Professor Milton Hearn FTSE VIC 1990 Professor GernotHeiser FTSE NSW 2016 Dr Paul Heithersay PSM FTSE SA 2012 Professor Ann Henderson-Sellers...
Finkelstein Juliana Freire Johannes Gehrke Eric Grimson Mark Guzdial GernotHeiser Eric Horvitz Thorsten Joachims Michael Kearns Valerie King Sarit Kraus...
Machine Trustworthy Computing Systems [10] Improving IPC by Kernel Design Heiser, Gernot (27 November 2007). Virtualization for Embedded Systems (PDF) (Technical...