1<!DOCTYPE html> 2<html lang="en"> 3 <head> 4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> 5 <meta name="viewport" content="width=device-width, initial-scale=1"> 6 <title>Gernot Heiser's Home Page</title> 7 <meta name="author" content="Gernot Heiser"> 8 <meta name="description" content="Gernot's home page"> 9 <meta name="keywords" content="Gernot Heiser, teaching, research, 10 Trustworthy Systems, seL4, security, safety, operating systems, 11 microkernel, open source, real-time systems"> 12 <link rel = STYLESHEET href="style.css" Type="text/css"> 13 <link rel="stylesheet" type="text/css" href="toots.css"> 14 </head> 15<body> 16<h1 style="object-position: center top;"><a href="mailto:[email protected]">Gernot Heiser</a></h1> 17 18<table> 19 <tr> 20 <td class="TopRight;"> 21 <a href="images/1703_s.jpg"> 22 <img ALT="[PHOTO: Gernot Heiser]" SRC="images/1703_s.jpg" width='203' 23 title="Gernot Heiser — click for full picture"> 24 </a> 25 26 </td> 27 <td class="Top;"> 28 Scientia (Distinguished) Professor and<br> 29 <a href="https://www.unsw.edu.au/engineering/our-schools/computer-science-and-engineering/engage-with-us/john-lions-chair">John Lions 30 Chair</a> of Operating Systems<br> 31 <a href="https://www.unsw.edu.au/engineering/our-schools/computer-science-and-engineering">School of Computer Science and Engineering</a><br> 32 <a href="https://www.unsw.edu.au/">UNSW Sydney</a>, Australia 33 <br><br> 34 Founder and leader of the <a href="https://trustworthy.systems/">Trustworthy Systems</a> Group 35 <br><br> 36 Chairman of the <a href="https://sel4.foundation/">seL4 Foundation</a> 37 <br><br> 38 Member of the <a 39 href="https://privacy.org.au/about/contacts/advisorypanel/">Advisory 40 Pannel</a> of the <a href="https://privacy.org.au">Australian 41 Privacy Foundation</a> 42 <!-- br> 43 Director of Forests Alive 44 --> 45 </td> 46 </tr> 47</table> 48 49<table Class="TopRight"> 50 <tr Class="Right"> 51 <td Class="TopRight"> 52<!-- 53 Code from https://embedbsky.com 54 --> 55<link rel="stylesheet" href="https://embedbsky.com/embedbsky.com-master-min.css" /><div id="embedbsky-com-timeline-embed"></div>
55<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>
55 56<!-- end code from https://embedbsky.com --> 57 </td> 58 </tr> 59</table> 60<!-- 61 Code from https://sampsyo.github.io/emfed/ 62 -- > 63<table Class="TopRight"> 64 <tr Class="Right"> 65 <td Class="TopRight"> 66 <a class="mastodon-feed" 67 href="https://discuss.systems/@gernot" 68 data-toot-limit="4" 69 >Follow me into the Fediverse</a> 70
70<script type="module" src="https://esm.sh/emfed@1"></script>
70 71 </td> 72 </tr> 73</table> 74 --> 75 76<p> 77 My primary occupation is leading 78 the <a href="https://trustworthy.systems">Trustworthy Systems</a> (TS) Group, 79 aiming at make software systems <em>truly trustworthy</em>, i.e., 80 secure, safe and dependable. Prime application areas are safety- and 81 security-critical cyberphysical systems such as aircraft, cars, 82 medical devices, critical infrastructure and national security. 83</p> 84 85<p> 86 I also teach 87 <a href="https://www.cse.unsw.edu.au/~cs9242/">Advanced Operating 88 Systems</a> to a group of excellent students with a tendency to 89 masochism. 90 The course has, over the years, produced many 91 <a href="OSHoF/">Heroes of Operating 92 Systems</a> and has been copied at a number of universities. It also 93 has its own prize for the best-performing student, 94 the <a href="https://www.cse.unsw.edu.au/~cs9242/prize/">Advanced 95 Operating Systems Prize</a>. 96</p> 97 98<p> 99 In 2006 I founded <a href="https://en.wikipedia.org/wiki/Open_Kernel_Labs">Open Kernel Labs</a> 100 (OK Labs) for commercialising L4 microkernel technology. I served as 101 Chief Technology Officer (CTO) from 2006–2010 and as a Director 102 from 2006 until OK's acquisition by General Dynamics in August 2012. 103</p> 104 105<img class="Right" src="images/240603-mq-panel.jpg" 106 title="On a discussion panel, 2024-06-03" 107 width="240px" 108alt="Gernot talking on a panel."> 109 110<!-- img class="Right" src="images/merkel-s.jpg" 111 title="With German Chancellor Angela Merkel visiting NICTA 17 Nov 2014. 112Federal ministers Marlcolm Turnbull and Ian McFarlane in the background." 113alt="Photo talking to Dr Merkel" --> 114 115<!-- img class="Right" src="images/nswsoty-s.jpg" 116 title="With Minister Judy McKay at the 2009 NSW Scientist of the Year Awards" 117 alt="Photo of award ceremony"--> 118 119<p> 120 121<b>Check here for:</b> 122<table> 123 <tr class="Top"> 124 <td><img src="images/redballsm.gif" alt="red ball"></td> 125 <td><a href="https://microkerneldude.wordpress.com/">my blog</a></td> 126</tr> 127<tr class="Top"> 128 <td><img src="images/redballsm.gif" alt="red ball"></td> 129 <td>my publications and other stats on my 130 <a href="https://trustworthy.systems/people/?cn=Gernot+Heiser">Trustworthy 131 Systems page</a></td> 132</tr> 133<tr class="Top"> 134 <td><img src="images/redballsm.gif" alt="red ball"></td> 135 <td>my (much less useful) 136 <a href="https://research.unsw.edu.au/people/scientia-professor-gernot-heiser">UNSW 137 researcher profile</a> 138 <!-- a href="https://www.researchgate.net/profile/Gernot_Heiser">UNSW 139 research profile</a --> 140 </td> 141</tr> 142<tr class="Top"> 143 <td><img src="images/redballsm.gif" alt="red ball"></td> 144 <td>my <a 145 href="https://scholar.google.com/citations?hl=en&user=0e0Vw3kAAAAJ">Google 146 Scholar profile</a></td> 147</tr> 148<tr class="Top"> 149 <td><img src="images/redballsm.gif" alt="red ball"></td> 150 <td><a href="cv.html"><em>curriculum vitae</em></a></td> 151</tr> 152<tr class="Top"> 153 <td><img src="images/redballsm.gif" alt="red ball"></td> 154 <td><a href="surveys/">teaching surveys</a></td> 155</tr> 156<tr class="Top"> 157 <td><img src="images/redballsm.gif" alt="red ball"></td> 158 <td><a href="https://trustworthy.systems/people/">students, staff and associates</a></td> 159</tr> 160<tr class="Top"> 161 <td><img src="images/redballsm.gif" alt="red ball"></td> 162 <td><a href="affiliations.html">other affiliations</a></td> 163</tr> 164<tr class="Top"> 165 <td><img src="images/redballsm.gif" alt="red ball"></td> 166 <td><a href="https://trustworthy.systems/students">student projects</a> 167 (theses and others)</td> 168</tr> 169<tr class="Top"> 170 <td><img src="images/redballsm.gif" alt="red ball"></td> 171 <td><a href="style-guide.html">my thesis/paper writing guide for 172 students and early-career researchers</a></td> 173</tr> 174<tr class="Top"> 175 <td><img src="images/redballsm.gif" alt="red ball"></td> 176 <td>my list of <a href="benchmarking-crimes.html">Systems Benchmarking Crimes</a></td> 177</tr> 178<tr class="Top"> 179 <td><img src="images/redballsm.gif" alt="red ball"></td> 180 <td><a href="address.html">contact information (incl PGP key)</a></td> 181</tr> 182<tr class="Top"> 183 <td><img src="images/redballsm.gif" alt="red ball"></td> 184 <td>other fun activities: <a href="Trudy_Gernot/trips.html">Outdoors</a></td> 185</tr> 186<tr> 187 <td><img width=24 height=24 title="Gernot Heiser on Bluesky" 188 src="images/Bluesky.svg" alt="Bluesky"></td> 189 <td><a href="https://bsky.app/profile/microkerneldude.bsky.social">follow me on 190 Bluesky</a></td> 191 <!-- https://microkerneldude.bsky.social --> 192</tr> 193<tr> 194 <td><img width=24 height=24 title="Gernot Heiser on LinkedIn" 195 src="images/linkedin.png" alt="LinkedIn"></td> 196 <td>... or <a href="https://www.linkedin.com/in/gernotheiser/">LinkedIn</a></td> 197</tr> 198<tr> 199 <td><img width=24 height=24 title="Gernot Heiser on Twitter" 200 src="images/twitter.png" alt="Twitter"></td> 201 <td><s><a href="https://twitter.com/GernotHeiser">Twitter</a></s> (dormant)</td> 202</tr> 203<tr> 204 <td><img width=24 height=24 title="Gernot Heiser on Mastodon" 205 src="images/Mastodon.svg" alt="Mastodon"></td> 206 <td><s><a href="https://discuss.systems/@gernot">Mastodon</a></s> (dormant)</td> 207</tr> 208</table> 209 210<!-- h3><a href="https://trustworthy.systems/jobs/">Employment 211opportunity for researchers in operating systems, embedded systems and 212real-time systems</></h3 --> 213 214<hr> 215 216<blockquote> 217 The most exciting phrase to hear in science, the one that heralds new 218 discoveries, is not “Eureka!” (I found it!) but “That's funny ...”<br> 219 Isaac Asimov 220</blockquote> 221<blockquote> 222 In my experience it's more likely “That's weird...”<br> 223 Gernot Heiser 224</blockquote> 225 226<hr> 227 228<blockquote> 229 There's a war on... between people who are trying to do something 230 and the people who are trying to keep them from doing something 231 wrong.<br> 232 <a href="https://en.wikipedia.org/wiki/Wilbur_L._Creech">Wilbur L. "Bill" Creech</a>, Former commander of the USAF 233</blockquote> 234<blockquote> 235 The bad guys are winning. <br> 236 Gernot Heiser 237</blockquote> 238 239<hr> 240 241 242<b>Macnamara Fallacy:</b> 243<blockquote> 244The first step is to measure whatever can be easily measured. This is ok 245as far as it goes. 246 247<br> 248The second step is to disregard that which can't be easily measured or 249to give it an arbitrary quantitative value. This is artificial and 250misleading. 251 252<br> 253The third step is to presume that what can't be measured easily really 254isn't important. This is blindness. 255 256<br> 257The fourth step is to say that what can't be measured really doesn't 258exist. This is suicide. 259</blockquote> 260<hr> 261 262</BODY> 263</HTML>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.