Formal Methods Courses and Certifications

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

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

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

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

Simons Institute

Towards Verified Deep Learning

Explore formal methods for verifying deep learning systems, focusing on robustness, semantic analysis, and applications in cyber-physical systems with UC Berkeley's Sanjit Seshia.

• YouTube
• 55 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

Hausdorff Center for Mathematics

Automated Transformation of Hierarchies of Theories in Large Libraries

Explore automated transformations of theory hierarchies in extensive libraries, focusing on efficient methods for managing complex mathematical structures.

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

Simons Institute

Synthesis of Privacy-Preserving Systems

Explore privacy-preserving system synthesis, addressing hidden signals, budget constraints, and incomplete information while satisfying specifications and protecting secrets.

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

Simons Institute

Reactive Synthesis - Open Questions and Challenges

Experts discuss open questions and challenges in reactive synthesis, exploring cutting-edge research and future directions in system modeling and automation.

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

Simons Institute

Synthesis and Verification of Finite Horizon Tasks

Explore finite horizon task synthesis and verification techniques, focusing on model and system creation for time-bounded objectives in computational systems.

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

Simons Institute

Tractable Representations for Boolean Functional Synthesis

Explore efficient techniques for synthesizing Boolean functions from relational specifications, focusing on structural properties and normal forms that enable tractable synthesis.

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

Simons Institute

Distributed Controller Synthesis for Deadlock Avoidance

Explore advanced techniques for synthesizing distributed controllers to prevent deadlocks in complex systems, enhancing system reliability and performance.

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

Neurosymbolic Programming for Science

Tutorial on Deductive Program Synthesis - Part 2: Hands-on Derivation and Advanced Techniques

Learn deductive program synthesis through hands-on examples, exploring SSL rules, recursion handling, and step-by-step derivation of provably correct pointer-manipulating programs.

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

Conference on Computer-Aided Verification

Privacy-preserving Automated Reasoning

Explore privacy-preserving formal reasoning techniques, including ppSAT solver and zero-knowledge protocols for Boolean formula unsatisfiability, advancing automated verification while maintaining data privacy.

• YouTube
• 1 hour 16 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