Gernot is the microkernel dude, having for 25 years led the development of various L4 microkernels. With is group he has produced the L4 kernels that have shipped on billions of Qualcomm mobile modem chips, and are shipping on the secure enclave of all iOS devices. His team has developed the seL4 microkernel, the world's first OS kernel that is mathematically proved free of implementation bugs, and that was open-sourced in July'14. Gernot is a Scientia Professor and John Lions Chair at UNSW and founder and former leader of the Trustworthy Systems group at Data61. He is a Fellow of the ACM, the IEEE and the Australian Academy of Technology and Engineering (ATSE). He has won multiple awards, including ICT Researcher of the year 2016 of the South-East Asian Regional Computing Confederation (SEARCH) and 2015 of the Australian Computer Society (ACS), Entrepreneur of the Year 2014 by Engineers Australia, and New South Wales Scientist of the Year 2009 (Category Engineering, Mathematics and Computer Science). He serves as Chief Scientist (Software) of HENSOLDT Cyber GmbH and was the co-founder and CTO of Open Kernel Labs which was acquired by General Dynamics in 2012.
- Verified seL4 on secure RISC-V processors – Wednesday 11:40 a.m.–12:25 p.m. in Room 6