Decoded
The Man Who Proved Systems Could Be Trusted
27:03
What if AI's biggest threat is not a smarter machine, but a less curious human? In this episode of Decoded, Dr. Jurgi Camblong sits down with Pr. Joseph Sifakis, Turing Award laureate and inventor of model checking, the mathematical method that taught machines to prove their own correctness. Joseph has spent fifty years building the foundations of systems we can trust. Now he is asking whether…