Hillel Wayne

Hillel is a software consultant in Chicago who specializes in formal methods. He is the author of Learn TLA+ (learntla.com) and Practical TLA+ (Apress, est Dec 2018), is on the Alloy board, and teaches workshops on both of these languages. In his free time, he juggles and makes candy.