))
Talking with Lecturers: Gernot Heiser
Manage episode 296903300 series 2529771
Content provided by csesoc. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by csesoc or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
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
Share
