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