Hillel Wayne
Hillel Wayne
Biography
Hillel is a formal methods consultant, the author of Learn TLA+ and Practical TLA+, and a member of the TLA+ and Alloy boards. His other work includes The Crossover Project, a collection of interviews with traditional-turned-software engineers, and Let's Prove Leftpad. In his free time, he juggles and makes chocolate. He tried to bring enough for everyone but no promises.