Hillel is a software consultant in Chicago who specialises in formal specification. He is the author of Learn TLA+ (learntla.com), currently writing Practical TLA+ (Apress, est 2018), and is on the Alloy Adoption and Outreach working group. In his free time he juggles and makes candy.