Formal Methods Courses and Certifications

The Human Factors of Formal Methods - Stanford Seminar

Exploring human-centered approaches to improve formal methods' usability in software development, addressing cognitive challenges and misconceptions to enhance adoption by non-experts.

• YouTube
• 59 minutes
• On-Demand
• Free Video

GOTO Conferences

Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015

Explore formal methods for creating bug-free software, including SeL4 microkernel and CompCert compiler. Learn about recent advancements and limitations in producing high-assurance software for vehicles.

• YouTube
• 47 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform - Incorrectness'24

Explore unified compositional formal methods for program correctness and incorrectness reasoning, focusing on exact separation logic and the Gillian platform.

• YouTube
• 23 minutes
• On-Demand
• Free Video

INSAIT Institute

Robbing the Bank with Automated Reasoning - Using Formal Methods for EMV Payment Protocol Security

Uncover critical vulnerabilities in EMV payment protocols using automated reasoning. Learn how formal methods can expose security flaws in widely-used smartcard payment systems.

• YouTube
• 53 minutes
• On-Demand
• Free Video

USENIX

A Layered Formal Methods Approach to Answering Queue-related Queries

Discover QuASI, a system using formal methods to answer queue-related network queries from basic packet counts, achieving 10^6X speedup over existing approaches.

• YouTube
• 16 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Formal Methods and Law - Computational Analysis of Code-Based Legal Systems

Explore how formal methods and logic can be applied to code-based law, focusing on tax regulations and computational analysis for identifying structural ambiguities and potential loopholes.

• YouTube
• 1 hour
• On-Demand
• Free Video

ETHTaipei

Empowering Everyone: Taking Specialization Out of Formal Methods

Discover how formal methods can be made accessible to everyone, removing specialization barriers in this insightful talk by Daniel Cumming at ETHTaipei 2025.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Automotive Security Research Group

Formal Methods for High-Security Software Requirements - From Theory to Practice

Discover how Formal Methods provide mathematical guarantees for software security across automotive, semiconductor, and consumer electronics industries, ensuring code reliability and compliance.

• YouTube
• 1 hour 13 minutes
• On-Demand
• Free Video

ACM SIGPLAN

The Proof Must Go On - Formal Methods in the Theater of Secure Software Development

Explore how formal methods will quietly transform software development from testing-based to verification-driven, becoming invisible infrastructure for secure systems.

• YouTube
• 48 minutes
• On-Demand
• Free Video

Safety and Liveness of Robot Behaviors

Explore formal methods for designing robots, guaranteeing behavior, and identifying potential issues. Learn about safety and liveness properties in robotic systems, including multi-robot and human-robot interactions.

• YouTube
• 58 minutes
• On-Demand
• Free Video

Institute for Pure & Applied Mathematics (IPAM)

Machine Assisted Proofs in Mathematics Workshop 2023

Explore cutting-edge formal methods and machine learning applications in pure mathematics through expert talks on proof assistants, automated reasoning, and AI-driven discovery.

• YouTube
• 17 hours 48 minutes
• On-Demand
• Free Video

Simons Institute

Reactive Synthesis

Explore reactive synthesis in computer science, covering automata, LTL, distributed systems, and bounded synthesis. Learn about decidability, complexity, and recent advancements in reasoning.

• YouTube
• 2 hours 2 minutes
• On-Demand
• Free Video

Topos Institute

How to Make Mathematicians Into Programmers and Vice Versa

Explore the intersection of formalized mathematics and programming through cognitive science, examining how to improve tools and education for both mathematicians and developers.

• YouTube
• 1 hour 11 minutes
• On-Demand
• Free Video

Mastering Concurrent Algorithms with TLA+

Explore TLA+ for modeling and verifying concurrent algorithms. Learn to use TLC model checker and TLA proof system to design robust, reliable software systems.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

TheIACR

Formal Analysis

Explore computer-aided cryptography, symbolic verification, and verifiable primitives in this comprehensive analysis of formal methods in cryptographic design and security.

• YouTube
• 33 minutes
• On-Demand
• Free Video