Hillel Wayne
Ask me about chocolate
Speaker at GOTO Chicago 2019

Hillel Wayne
Author of Practical TLA+, expert in applying formal methods to real-world problems

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.



Organized by