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