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