Gernot Heiser
Gernot is the microkernel dude: he and his team have been building the world's fastest microkernels for almost 20 years, and his L4-embedded microkernel is deployed in billions of mobile devices and powers the security processor of all recent iOS devices. In a more official capacity, he is Scientia Professor and John Lions Chair of Operating Systems at UNSW Australia. He also leads the Software Systems research group at NICTA, Australia's ICT Centre of Excellence.
Links
Events
| Title | Day | Room | Track | Start | End |
|---|---|---|---|---|---|
| seL4: Present and Future | Sunday | K.3.201 | Microkernels | 09:10 | 10:00 |