Gernot Heiser's Home Page

<!DOCTYPE html> <html lang="en"> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1"> <title>Gernot Heiser's Home Page</title> <meta name="author" content="Gernot Heiser"> <meta name="description" content="Gernot's home page"> <meta name="keywords" content="Gernot Heiser, teaching, research, Trustworthy Systems, seL4, security, safety, operating systems, microkernel, open source, real-time systems"> <link rel = STYLESHEET href="style.css" Type="text/css"> <link rel="stylesheet" type="text/css" href="toots.css"> </head> <body> <h1 style="object-position: center top;"><a href="mailto:gernot@unsw.edu.au">Gernot Heiser</a></h1> <table> <tr> <td class="TopRight;"> <a href="images/1703_s.jpg"> <img ALT="[PHOTO: Gernot Heiser]" SRC="images/1703_s.jpg" width='203' title="Gernot Heiser — click for full picture"> </a>   </td> <td class="Top;"> Scientia (Distinguished) Professor and<br> <a href="https://www.unsw.edu.au/engineering/our-schools/computer-science-and-engineering/alumni-and-industry/john-lions-chair">John Lions Chair</a> of Operating Systems<br> <a href="https://www.unsw.edu.au/engineering/our-schools/computer-science-and-engineering">School of Computer Science and Engineering</a><br> <a href="https://www.unsw.edu.au/">UNSW Sydney</a>, Australia <br><br> Founder and leader of the <a href="https://trustworthy.systems/">Trustworthy Systems</a> Group <br><br> Member of the <a href="https://privacy.org.au/about/contacts/advisorypanel/">Advisory Pannel</a> of the <a href="https://privacy.org.au">Australian Privacy Foundation</a> <br><br> Chief Scientific Officer of <a href="https://neutrality.ch/">Neutrality</a> <br><br> Co-Founder of <a href="http://secelements.com/">Secure Elements GmbH</a> <br><br> Director of Forests Alive </td> </tr> </table> <table Class="TopRight"> <tr Class="Right"> <td Class="TopRight">  <link rel="stylesheet" href="https://embedbsky.com/embedbsky.com-master-min.css" /><div id="embedbsky-com-timeline-embed"></div><script>let containerWidth=256,containerHeight=1200;const getHtml=async t=>{const e=await fetch(t);return 200!==e.status?'<p><strong>No feed data could be located</p></strong>':e.text()};document.addEventListener('DOMContentLoaded',(async()=>{const t=(new Date).toISOString(),e=document.getElementById('embedbsky-com-timeline-embed');e.style.width=`${containerWidth}px`,e.style.height=`${containerHeight}px`;const n=await getHtml(`https://embedbsky.com/feeds/ebd8da19e8ef3453cc2734857a1ccfe4b298d0a44b925353f3acc52396210efb.html?v=${t}`);e.innerHTML=n}));</script>  </td> </tr> </table>  <p> My primary occupation is leading the <a href="https://trustworthy.systems">Trustworthy Systems</a> (TS) Group, aiming at make software systems <em>truly trustworthy</em>, i.e., secure, safe and dependable. Prime application areas are safety- and security-critical cyberphysical systems such as aircraft, cars, medical devices, critical infrastructure and national security. </p> <p> I also teach <a href="https://www.cse.unsw.edu.au/~cs9242/">Advanced Operating Systems</a> to a group of excellent students with a tendency to masochism. The course has, over the years, produced many <a href="OSHoF/">Heroes of Operating Systems</a> and has been copied at a number of universities. It also has its own prize for the best-performing student, the <a href="https://www.cse.unsw.edu.au/~cs9242/prize/">Advanced Operating Systems Prize</a>. </p> <p> In 2006 I founded <a href="https://en.wikipedia.org/wiki/Open_Kernel_Labs">Open Kernel Labs</a> (OK Labs) for commercialising L4 microkernel technology. I served as Chief Technology Officer (CTO) from 2006–2010 and as a Director from 2006 until OK's acquisition by General Dynamics in August 2012. </p> <img class="Right" src="images/240603-mq-panel.jpg" title="On a discussion panel, 2024-06-03" width="240px" alt="Gernot talking on a panel.">   <p> <b>Check here for:</b> <table> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="https://microkerneldude.wordpress.com/">my blog</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td>my publications and other stats on my <a href="https://trustworthy.systems/people/?cn=Gernot+Heiser">Trustworthy Systems page</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td>my (much less useful) <a href="https://research.unsw.edu.au/people/scientia-professor-gernot-heiser">UNSW researcher profile</a>  </td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td>my <a href="https://scholar.google.com/citations?hl=en&user=0e0Vw3kAAAAJ">Google Scholar profile</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="cv.html"><em>curriculum vitae</em></a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="surveys/">teaching surveys</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="https://trustworthy.systems/people/">students, staff and associates</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="affiliations.html">other affiliations</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="https://trustworthy.systems/students">student projects</a> (theses and others)</td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="style-guide.html">my thesis/paper writing guide for students and early-career researchers</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td>my list of <a href="benchmarking-crimes.html">Systems Benchmarking Crimes</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td><a href="address.html">contact information (incl PGP key)</a></td> </tr> <tr class="Top"> <td><img src="images/redballsm.gif" alt="red ball"></td> <td>other fun activities: <a href="Trudy_Gernot/trips.html">Outdoors</a></td> </tr> <tr> <td><img width=24 height=24 title="Gernot Heiser on Bluesky" src="images/Bluesky.svg" alt="Bluesky"></td> <td><a href="https://bsky.app/profile/microkerneldude.bsky.social">follow me on Bluesky</a></td>  </tr> <tr> <td><img width=24 height=24 title="Gernot Heiser on LinkedIn" src="images/linkedin.png" alt="LinkedIn"></td> <td>... or <a href="https://www.linkedin.com/in/gernotheiser/">LinkedIn</a></td> </tr> <tr> <td><img width=24 height=24 title="Gernot Heiser on Twitter" src="images/twitter.png" alt="Twitter"></td> <td><s><a href="https://twitter.com/GernotHeiser">Twitter</a></s>  (dormant)</td> </tr> <tr> <td><img width=24 height=24 title="Gernot Heiser on Mastodon" src="images/Mastodon.svg" alt="Mastodon"></td> <td><s><a href="https://discuss.systems/@gernot">Mastodon</a></s>  (dormant)</td> </tr> </table>  <hr> <blockquote> The most exciting phrase to hear in science, the one that heralds new discoveries, is not “Eureka!” (I found it!) but “That's funny ...”<br>                 Isaac Asimov </blockquote> <blockquote> In my experience it's more likely “That's weird...”<br>                 Gernot Heiser </blockquote> <hr> <blockquote> There's a war on... between people who are trying to do something and the people who are trying to keep them from doing something wrong.<br>                 <a href="https://en.wikipedia.org/wiki/Wilbur_L._Creech">Wilbur L. "Bill" Creech</a>, Former commander of the USAF </blockquote> <blockquote> The bad guys are winning. <br>                 Gernot Heiser </blockquote> <hr> <b>Macnamara Fallacy:</b> <blockquote> The first step is to measure whatever can be easily measured. This is ok as far as it goes. <br> The second step is to disregard that which can't be easily measured or to give it an arbitrary quantitative value. This is artificial and misleading. <br> The third step is to presume that what can't be measured easily really isn't important. This is blindness. <br> The fourth step is to say that what can't be measured really doesn't exist. This is suicide. </blockquote> <hr> </BODY> </HTML>

CINXE.COM

Gernot Heiser's Home Page