13.3K
Downloads
55
Episodes
Echo is CSESoc’s own weekly podcast where we talk about topics all over the place related to CSE, technology and university life. You can expect us getting live sound bites at our events, picking the brains and getting the advice of highly effective people in industry & academia and discussing current issues in the industry.
Episodes
Wednesday Jul 07, 2021
Wednesday Jul 07, 2021
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
Comments (0)
To leave or reply to comments, please download free Podbean or
No Comments
To leave or reply to comments,
please download free Podbean App.