Hillel Wayne is a renowned formal methods consultant and author. He specializes in teaching formal methods like TLA+ and Alloy to programmers, aiming to improve software reliability and design.
The AI-powered Podcast Player
Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
