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