Speaker: Hillel Wayne
He / him / his
Author of "Logic for Programmers" and "Learn TLA+"
Hillel is the author of Logic for Programmers and Learn TLA+. He helps companies build systems cheaper and faster through rigorous design and verification. In his free time, he juggles and makes chocolate.
Find Hillel Wayne at:
Session
How to Find Resilience Bugs in Systems that Don't Exist
Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One different box is "formal methods", the discipline of mathematically verifying software and systems.
Date
Wednesday Mar 18 / 10:35AM GMT ( 50 minutes )
Location
Whittle (3rd Fl.)
