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