Hillel Wayne is a software engineer with a deep interest in software correctness techniques. He is the author of "Learn TLA+" and is currently writing "Practical TLA+" with Apress. In his free time he juggles and studies for his EMT certification.