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