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.
Read more about