ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Talking with Lecturers: Gernot Heiser"
Episode Synopsis
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
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
More episodes of the podcast Echo
Coming back for CS: The Postgrad Experience
18/12/2022
Is Computer Science Right For You?
29/09/2022
Competitive Programming w/ Angus Ritossa
05/09/2022
CSE News - Ethics in Tech
28/07/2022
Data Analytics at Canva w/Vincey Au
09/06/2022
In God we trust