Brussels / 31 January & 1 February 2015


Gernot Heiser

Photo of 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.



Title Day Room Track Start End
seL4: Present and Future Sunday K.3.201 Microkernels 09:10 10:00