))
Talking with Lecturers: Gernot Heiser
Manage episode 296903300 series 2529771
المحتوى المقدم من csesoc. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة csesoc أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.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
54 حلقات
مشاركة
