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 did, in fact, bring enough for everyone.
Instructor & Consultant
Hillel
Wayne
Sessions & Booking
Book Hillel for your team
Book a private Software Modelling with TLA+ training for your engineering team.
Contact AardlingStay in the Loop
Get notified about new workshops, early-bird discounts, and exclusive content on DDD, Architecture, and Software Design.
No spam, unsubscribe anytime. Join 5,000+ developers.