Join me at the December Chicago Cloud Computing Meetup featuring Hillel Wayne presenting his talk, “What Isn’t Your System Supposed to Do?”

Event Details

• Date: Tuesday, December 9, 2025
• Time: 6:00 PM – 8:00 PM CST
• Location: Microsoft Chicago Office, 200 E Randolph, Suite 200, Chicago, IL 60601

Presentation

Building correct distributed systems takes thinking outside the box, and one powerful way to do that is to think inside a different box: formal methods.

In this talk, Hillel introduces two key formal-methods perspectives:

• The properties that systems have
• The state spaces they cover

You’ll see how these ideas connect to everyday software engineering, and how shifting your perspective helps you uncover subtle bugs in large systems, even before you’ve written a line of code.

Speaker: Hillel Wayne

Hillel is a formal methods consultant, the author of Learn TLA+ and Practical TLA+, and a member of the TLA+ and Alloy boards. His work includes The Crossover Project and Let’s Prove Leftpad. In his free time, he juggles and makes chocolate.

Lightning Talk

We’ll also feature a short lightning talk:

• Title: Leveraging AI for Cloud Optimization
• Speaker: Aviral Bhardwaj

Notes

Building security requires your full name to enter the building. If your Meetup profile does not include your full name, please enter it when you RSVP.

Register here: RSVP on Meetup