ScienceMind

Author: ScienceMind

Welcome to the ScienceMind podcast, brought to you by King's College London's multi-award-winning STEM Magazine.
Be a guest on this podcast

Language: en

Genres: Science

Contact email: Get it

Feed URL: Get it

iTunes ID: Get it

Get all podcast data

Listen Now...

The Unbreakable Code: Formal Verification and the Future of Programming
Wednesday, 3 December, 2025

In this episode, Apeksha and Laziza sit down with Luka to explore the ultimate challenge in computer science: building a software that does not fail. We explore how modern programming languages are moving beyond simple bug-testing into the realm of Formal Verification, using mathematical proof to guarantee correctness and security. Follow ScienceMind on Instagram and other social media platforms: ⁠⁠https://linktr.ee/sciencemind⁠⁠Check out our website:⁠⁠https://www.sciencemindmag.com/⁠⁠Sign up to our newsletter for updates:⁠⁠https://sciencemind.ck.page/⁠⁠For any questions, email us at ⁠⁠sciencemindmag@gmail.com⁠⁠Music: Jazz Funk Groove Instrumental⁠⁠⁠⁠ ArtManzh