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