Hillel Wayne is a software engineer specializing in formal methods, distributed systems, and the history of software. He is the author of the books "Practical TLA+" and "Crossover Project."
Hillel engages in formal software verification and conducts training for companies and organizations such as NASA, Meta, Giesecke+Devrient, McKinsey, Siemens, and Western Digital.
In his free time, he juggles and makes chocolate. Hillel also runs his own blog and newsletter dedicated to programming, engineering, and the history of technology.