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