Hillel Wayne

Hillel Wayne

Author
Practical TLA+
location_on United States

Member since 11 months

Share

Hillel Wayne

Specialises In
Concurrency Distributed Systems Empirical Software Engineering Formal Methods Programming Languages Software Correctness Software History

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.