Hillel Wayne
Formal-methods writer and developer educator at Antithesis; author of Logic for Programmers.
At a glance
Also on this page: Key facts · Links · Sources · Related pages
- Hillel Wayne specialises in formal methods for businesses.
- The blog at hillelwayne.com mixes deep dives into formal methods with other programming topics, alongside a newsletter.
- Wayne works as a developer educator at Antithesis and wrote the book Logic for Programmers, now out in print.
- Wayne is experienced in TLA+ and Alloy and keeps an open invitation to email about them.
Key facts
- Current role
- Developer educator at Antithesis1
- Specialty
- Formal methods for businesses; TLA+ and Alloy1
- Book
- Logic for Programmers, out in print1
Links
Sources
Last checked against its sources today
Is something on this page wrong or out of date? Tell us
How recent
The line under a date fills as time passes: empty when new, then one equal share each for a day, a week, a month and a year. For episodes and other items it is full at 2 years; for "last checked", at a year. A striped line means the date is known only to the month or year.