Abstract Interpretation for Program Verification (ft. Viktor Kuncak)
23:40
The Hardest Problem in Type Theory - Computerphile
12:32
3 Applications of the (Fast) Fourier Transform (ft. Michael Kapralov)
1:32:45
Abstract Interpretation With Professor Patrick Cousot | Lecture Series on AI #11 | J.P. Morgan
53:34
24. Linear Programming and Two-Person Games
43:05
Pawel Szulc - Formal verification applied (with TLA+)
43:31
Analyzing Programs with Z3
1:17:39
What is Static Analysis? by Matt Might
18:05