Talking with Lecturers: Gernot Heiser
Manage episode 296903300 series 2529771
Subrat and Shane chat to the lecturer of the infamous Advanced Operating Systems course at UNSW, β¨ Gernot Heiser β¨! In an episode packed with brain π§ bending topics, they dive into not just lecturing, but also his decorated research career, as Gernot discusses:
- Being the FIRST team in the world π to formally prove the security π of an operating system - seL4
- How seL4 has been used in autonomous cars π, helicopters π and iPhones π±
- The mistakes made π and lessons learnt πͺ from building a startup
Timestamps
1:00 Getting into Operating Systems
15:49 Importance of OS
23:09 Industry vs academia
29:40 Microkernels and working with Qualcomm
41:42 Starting OpenKernelLabs
49:06 Developing and using seL4 - the worldβs first formally verified operating system
1:23:19 Creating and lecturing the Advanced Operating Systems course
1:35:40 Interests, hobbies, and food
1:40:30 Reflection on failures and learnings, and advice for students
55 episodes