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