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