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