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