プロフィール

Hillel Wayne（ヒレル・ウェイン）は、アメリカ・シカゴを拠点とするソフトウェアコンサルタント、形式手法教育者、技術史研究者です。

産業界における形式仕様・検証手法（Formal Methods）の普及を牽引する第一人者であり、名著『Practical TLA+』および『Logic for Programmers』の著者です。TLA+ や Alloy を用いた堅牢な分散システムや並行処理の設計指導を世界中のエンジニアチームに提供しています。また、土木や機械などの伝統的な工学とソフトウェア工学の歴史的比較研究でも広く知られています。

個人ブログ hillelwayne.com では、形式検証、プロパティベーステスト、型システム、ソフトウェア開発の歴史、プログラミング文化に関するユーモアと洞察に満ちたエッセイを発信しています。