Hillel Wayne

Hillel is the author of Logic for Programmers and Learn TLA+ . He helps companies build systems cheaper and faster through rigorous design and verification. In his free time, he juggles and makes chocolate.