Hillel is a software consultant in Chicago who specializes in formal methods. He designs complex software in a way that makes it cheaper, faster, and bug-free, he also teaches people how to do that, as a consultant and 'Chief Everything Officer' at Windy Coast Consulting.
Hillel is the author of Practical TLA+ and on the Alloy board, working to make rigorous software engineering widely accessible to everyday programmers. In his free time, he juggles and makes candy. Fun fact: he is technically allowed to deliver babies in Illinois.
Check out Hillel’s past talk:
- GOTO Chicago 2019 - What We Know We Don't Know: Introduction to Empirical Software Engineering
Hillel’s book: