Name: What Isn't Your System Supposed to Do?
Start: 2025-12-09T18:00:00-06:00
End: 2025-12-09T20:00:00-06:00
Location: 200 E Randolph St #200 Aon Center,

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.

David Giard

The Chicago Cloud Computing Meetup Group

Azure Tech Groups

A new twist on events including event space and workshops

Why work...when you can create!! Innovation District coworking

LifeCreative

We innovate, design, and build. Online branding for a digital age 

ParadigmNEXT

BizCastHQ

Technology

SaaS (Software as a Service)

Big Data

Cloud Computing

PaaS (Platform as a Service)

Startup Businesses

Data Analytics

Data Visualization

Predictive Analytics

Microsoft Azure

Business Process Improvement

Virtualization

Social Enterprise

Hillel is a formal methods consultant, the author of Learn TLA+ and Practical TLA+, and a member of the TLA+ and Alloy boards. His other work includes \*The Crossover Project\*, a collection of interviews with traditional-turned-software engineers, and \*Let's Prove Leftpad\*. In his free time, he juggles and makes chocolate. He did, in fact, bring enough for everyone.



The Chicago Cloud Computing Meetup Group

What Isn't Your System Supposed to Do?

The Chicago Cloud Computing Meetup Group

Detaylar

Sponsorlar

Şu ilgi alanını paylaşan üyeler: