All Galois Video’s Videos
-
Inferring Phylogenies Using Evolutionary Algorithms
-
Parametricity, Quotient Types, and Theorem Transfer
-
Automatic Function Annotations for Hoare Logic
-
Model-based Code Generation and Debugging of Concurrent Programs
-
Android Ecosystem
-
Programming with Narrowing
-
Why Do Airplanes Crash
-
Property Directed Reachability
-
Introducing Well-founded Recursion
-
Galois Tech Talk: On Deadlock Verification in Micro-Architectural Models of Communication Fabrics
-
Galois Tech Talk: Formalizing Haskell 98 in the K Semantic Framework
-
Candid Experiences from a Hardware Startup
Browse Videos
Here are all of the videos that Galois Video has uploaded to Vimeo. Appearances are videos that Galois Video has been credited in by others.
Also Check Out
More stuff from Galois Video