Feb 6
Loading video player...
How do you build software you can prove is correct? James Chapman explains how IOG uses formal methods to engineer trust at every layer. At the UPLC Programming Language Conference 2025, James Chapman, Director of Formal Methods at Input | Output, delivered a deep dive into “Formal Methods at IOG.” This session explored how formal methods — the mathematical techniques used to prove software correctness — serve as a foundation for IOG’s engineering philosophy. By applying these methods from research to production, IOG ensures that the systems underpinning Cardano and related technologies are secure, reliable, and mathematically verified. James outlined how formal verification helps: - Detect and prevent critical design flaws early in development - Strengthen the reliability and safety of blockchain infrastructure - Bridge the gap between theoretical research and real-world systems Through formal methods, IOG continues to push the boundaries of what’s possible in secure, verifiable blockchain design — ensuring trust through proof, not assumption. 📍 Presented at the UPLC Programming Language Conference 2025 🏛️ Hosted by Input | Output at the University of Edinburgh 👤 Speaker: James Chapman, Head of Formal Methods, Input | Output Connect with IO: Visit IO website: https://iohk.io/en/ Follow IO on X: https://twitter.com/inputoutputHK Follow IO on LinkedIn: https://www.linkedin.com/company/input-output-global/ #UPLC2025 #IOG #Cardano #FormalMethods #SmartContracts #Verification #UPLC #BlockchainResearch