Rebuilding Operating Systems with Functional Principles / Feb 2020
Delivered the distinguished seminar series at St Andrews on rebuilding Operating Systems with functional principles. Part 1 of the lecture series explored how functional programming concepts could be applied to systems design, using MirageOS as a case study. I discussed how immutability, type safety, and composability from functional languages could help build more secure and reliable operating systems, moving away from the complexity and vulnerabilities of traditional OS architectures.