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