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