Category:形式手法の人物
レスリー・ランポート
Leslie Lamport
ニクラウス・ヴィルト
Niklaus Wirth
ジョン・マッカーシー
John McCarthy (computer scientist)
アントニー・ホーア
Tony Hoare
エドガー・ダイクストラ
Edsger W. Dijkstra
デイビッド・パーナス
David Parnas
アレン・エマーソン
E. Allen Emerson
バートランド・メイヤー
Bertrand Meyer
ロビン・ミルナー
Robin Milnerカール・ヒューイット
Carl Hewitt
ドナルド・クヌース
Donald Knuth
アミール・プヌーリ
Amir Pnueli
カール・アダム・ペトリ
Carl Adam Petriデイナ・スコット
Dana Scott
オーレ＝ヨハン・ダール
Ole-Johan Dahl
ロバート・フロイド
Robert W. Floyd
ハーラン・ミルズ
Harlan Mills
クリストファー・ストレイチー
Christopher Strachey
アロンゾ・チャーチ
Alonzo Church
アラン・チューリング
Alan Turing
