#27 Formalizing an OS: The seL4
February 4th 2023
#26 Mechanizing Modern Mathematics
January 16th 2023
#25 Formally Verifying the Tezos Codebase
November 21st 2022
#24 The History of Isabelle
October 6th 2022
In this episode we interview Lawrence Paulson, one of the creating fathers of Isabelle.
We talk about the development process, how it drew inspirations and ideas from LCF and Boyer Moore. What tools were used, it’s strenghts and weaknesses, and all about the historical context at the time! We also briefly talk about his formalization of the Gödel’s Incompletenes theorems in Isabelle
Paulson have quite an extensive CV, he is a professor at Cambridge, have published more than 100 papers, is an ACM fellow since 2008, is a member of the royal society since 2017, among many other things!
LinksDownload .mp3 (87.8M)