ソフトウェアエンジニアが知っておくべき偉大な30人

@ockeghem「ケン・トンプソンとデニス・リッチーを知らない…」をトリガーとして、ソフトウェアエンジニアが知っておくべき偉大な30人とか誰か書かないかな。もうある?
http://twitter.com/ockeghem/status/51110649429889024

適当に挙げてみた。ケン・トンプソンやK&R辺りからの連想なので粒度がまちまち。こういうラインアップだと、チューリングとかシャノンとかノイマンとかはなんか違う感じ。

名前 特に有名なand/or影響が大きい実績
ケン・トンプソン C, Unix
デニス・リッチー C, K&R, Unix
ブライアン・カーニハン C, K&R
アラン・ケイ オブジェクト指向, Smalltalk
ダイクストラ 構造化プログラミング
ジョン・マッカーシー Lisp (関数型言語)
ドナルド・クヌース TeX, the art of computer programing
リチャード・ストールマン GPL, Emacs
ティム・バーナーズ・リー www, URI, HTTP, HTML
マーク・アンドリーセン Mosaic, Netscape
リヌス・トーバルス Linux
ビル・ゲイツ MS-Dos, Windows
ディッフィーとヘルマン 公開鍵暗号モデル
RSAの3人 公開鍵暗号の実装

世界初の高級言語FORTRANのジョン・バッカスとかどうなのよ？とか言われそうだけど、僕は調べるまで名前を知らなかった。
それなりにメジャーな言語の発明者系だとストラウストラップ(C++) ゴスリン(Java) ラードフ(PHP) ラリー(Perl) 松本(Ruby) とかは↑の人たちと比べると影響度がやや小さい気がする。<追記>
気が向いたときに追記

名前 功績
アントニー・ホーア クイックソート, CSP
ニクラウス・ヴィルト Pascal,「アルゴリズム＋データ構造＝プログラム」
ジョンバッカス FORTRAN, BNF記法
エドガー・F・コッド リレーショナルモデル(RDB)
ビル・ジョイ BSD, vi, csh, SUN
アンドリュー・タネンバウム MINIX