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