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