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