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