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.