Hillel Wayne

Expert Overview

Practical TLA+

Hillel is a software consultant in Chicago who specializes in formal methods. He is the author of Practical TLA+ and on the Alloy board, working to make rigorous software engineering widely accessible to everyday programmers. He designs complex software in a way that makes it cheaper, faster, and bug-free. In his free time, he juggles and makes candy. He is technically allowed to deliver babies in Illinois.

Things I'm Doing
Talks I've Given

Talks I've Given