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