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