What Isn't Your System Supposed to Do?

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.
Formal methods encourages unusual perspectives on systems, models that are also broadly useful to all software developers. In this talk we will learn two of the most important FM perspectives: the properties that systems have and the state spaces they cover. You will learn how these ideas connect and give insight into other areas of software engineering, and how to use them to find bugs in your large systems... even before you've written a line of code.

Lightning Talk
"Leveraging AI for Cloud Optimization" presented by Aviral Bhardwaj

IMPORTANT:
Building security requires your full name to enter the building. If your profile does not include your full name, please message the organizer with this information.