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