Formal Methods Courses
TheIACR via YouTube Quantum Cloud Computing - Prof Elham Kashefi
The Cyber Academy via YouTube Formal Modeling and Analysis of Distributed Systems
Strange Loop Conference via YouTube Fairness and Robustness in Machine Learning – A Formal Methods Perspective - Aditya Nori, Microsoft
Alan Turing Institute via YouTube Beweisbar sichere Software
media.ccc.de via YouTube Twin-width I - Tractable FO Model Checking
IEEE via YouTube Chat with Hillel Wayne about TLA+
Strange Loop Conference via YouTube Formalisierung der Mathematik - Wann führen Computer die Beweise?
Hausdorff Center for Mathematics via YouTube Formal Methods for Network Performance Analysis
USENIX via YouTube Safety and Liveness of Robot Behaviors
Stanford University via YouTube