これは、コンピュータ サイエンティスト、つまりコンピュータ サイエンスの分野で仕事をする人々、特に研究者や著者のリストです。
プログラマーとして著名な人物の中には、プログラミングだけでなく研究も行っているため、ここに含まれています。これらの人物の中には、デジタルコンピュータの発明以前に活躍した人もいます。彼らの研究はコンピュータの発明につながったと考えられるため、現在ではコンピュータ科学者として認められています。また、複雑性理論やアルゴリズム情報理論など、現在では理論計算機科学と呼ばれる分野に属する研究を行っている数学者もいます。
あ
- ウィル・ファン・デル・アールスト–ビジネスプロセス管理、プロセスマイニング、ペトリネット
- スコット・アーロンソン–量子コンピューティングと複雑性理論
- レディエット・アベベ–アルゴリズム、人工知能
- ハル・アベルソン– コンピューティングと教育の交差点
- セルジュ・アビテブール– データベース理論
- サムソン・アブラムスキー–ゲーム意味論
- レナード・エイドルマン– RSA、DNAコンピューティング
- Manindra Agrawal – 多項式時間素数判定
- ルイス・フォン・アーン–人間ベースの計算
- アルフレッド・アホ– コンパイラの本、 AWKの「a」
- フランシス・E・アレン–コンパイラ最適化
- ジーン・アムダール–スーパーコンピューター開発者、アムダール・コーポレーション創設者
- デビッド・P・アンダーソン– ボランティアコンピューティング
- リサ・アンソニー–自然なユーザーインターフェース
- アンドリュー・アペル– 教科書の編集者
- セシリア・R・アラゴン–人間中心のデータサイエンス、treapを発明
- ブルース・アーデン– プログラミング言語コンパイラ(GAT、ミシガン・アルゴリズム・デコーダ(MAD))、仮想メモリアーキテクチャ、ミシガン・ターミナル・システム(MTS)
- ケビン・アシュトン– MITでモノのインターネットの先駆者となり命名
- サンジーヴ・アローラ– PCP定理
- ウィニフレッド・「ティム」・アリス・アスプレイ-ヴァッサー大学でコンピュータサイエンスのカリキュラムを確立した
- ジョン・ヴィンセント・アタナソフ– コンピュータの先駆者、アタナソフ・ベリー・コンピュータ(ABC)の創設者
- シャクンタラ アトレ– データベース理論
- Lennart Augustsson – 言語(Lazy ML、Cayenne)、コンパイラ(HBC Haskell、並列Haskellフロントエンド、Bluespec SystemVerilog初期)、LPMudの先駆者、NetBSD デバイスドライバ
B
- チャールズ・バベッジ(1791-1871) – 最高の数学者と呼ばれる最初の機械式コンピュータを発明した
- チャールズ・バックマン– アメリカのコンピュータ科学者。統合データストアで知られる。
- Roland Carl Backhouse –コンピュータプログラム構築の数学、アルゴリズムによる問題解決、ALGOL IFIP WG 2.1メンバー
- ジョン・バッカス– Fortran、バッカス・ナウア形式、最初の完全なコンパイラ
- David F. Bacon –プログラミング言語、ガベージコレクション
- デビッド・ベイダー
- ビクター・バール
- Fatmah Baothman – サウジアラビアの AI 研究者
- アンソニー・ジェームズ・バー– SAS、旧統計解析システム
- ジャン・バーティック(1924年 - 2011年)は、最初の真空管式コンピュータの一つであるENIAC(1946年)のプログラマーの一人である。プログラミングにはケーブル、ダイヤル、スイッチを使って物理的に機械の配線を変更する必要があった時代である。ジョン・モークリーとともにBINAC(1949年)、EDVAC(1949年)、UNIVAC(1951年)の開発に取り組み、初期のプログラム記憶式コンピュータを開発した。
- アンドリュー・バート
- フリードリヒ・L・バウアー–スタック(データ構造)、逐次式変換、ALGOL、ソフトウェア工学、バウアー・ファイクの定理
- ルドルフ・ベイヤー– Bツリー
- ゴードン・ベル(1934–2024) – コンピュータ設計者DEC VAX、著者: Computer Structures
- スティーブン・M・ベロビン–ネットワークセキュリティ
- ヨシュア・ベンジオ– 人工知能、ディープラーニング
- セシリア・ベルディチェフスキー(1925–2010) – アルゼンチンのコンピューター科学者の先駆者
- ティム・バーナーズ=リー–ワールド・ワイド・ウェブ
- ダニエル・J・バーンスタイン– qmail、保護された言論としてのソフトウェア
- ピーター・ベルヌス
- アベイ・ブーシャン
- Dines Bjørner –ウィーン開発メソッド(VDM)、RAISE
- ゲリット・ブラウ- IBM System/360コンピュータラインの主要設計者の一人
- スー・ブラック
- デビッド・ブレイ
- ドロシー・ブラム–国家安全保障局
- レノア・ブラム–複雑さ
- マヌエル・ブルム–暗号学
- バリー・ボーム– ソフトウェア工学経済学、スパイラル開発
- コラード・ベーム– 構造化プログラム定理の著者
- カート・ボラッカー
- ジェフ・ボンウィック–スラブ割り当てとZFS を発明
- Grady Booch –統一モデリング言語、オブジェクト管理グループ
- ジョージ・ブール–ブール論理
- アンドリュー・ブース– 最初の回転ドラム式貯蔵装置を開発した
- キャスリーン・ブース– 最初のアセンブリ言語を開発した
- アニタ・ボルグ(1949年 - 2003年) - アメリカのコンピュータ科学者、アニタ・ボルグ女性技術研究所の創設者
- Alan H. Borning –ヒューマンコンピュータインタラクション、オブジェクト指向プログラミング、制約プログラミング、プログラミング言語、ThingLab
- バート・ボス–カスケーディング・スタイル・シート
- ミハイル・ボトヴィニク–世界チェスチャンピオン、コンピュータ科学者、電気技師、初期のエキスパートシステムAIとコンピュータチェスの先駆者
- ジョナサン・ボーエン– Z記法、形式手法
- Stephen R. Bourne – Bourne シェル、ポータブルALGOL 68C コンパイラ
- ハリー・バウマン(1953年生まれ) - オランダの情報システム研究者、オーボアカデミー大学教授
- Robert S. Boyer – 文字列検索、ACL2定理証明器
- Karlheinz Brandenburg – mp3 の主要な貢献者
- ジル・ブラサード– BB84プロトコルと量子暗号の先駆者
- ローレンス・M・ブリード- アイバーソン記法(APL)の実装、 APL \360の共同開発者、サイエンティフィック・タイム・シェアリング・コーポレーションの共同設立者
- ジャック・E・ブレゼンハム-ブレゼンハムのアルゴリズムを含む初期のコンピュータグラフィックスへの貢献
- セルゲイ・ブリン– Googleの共同創設者
- David J. Brown –統合メモリアーキテクチャ、バイナリ互換性
- Per Brinch Hansen(姓「Brinch Hansen」) - RC 4000 マルチプログラミング システム、オペレーティング システム カーネル、マイクロカーネル、モニター、並行プログラミング、Concurrent Pascal、分散コンピューティングとプロセス、並列コンピューティング
- Sjaak Brinkkemper – 製品ソフトウェア開発の方法論
- フレッド・ブルックス– IBM System/360、OS/360、人月の神話、特効薬はない
- ロッド・ブルックス
- マーガレット・バーネット–ビジュアルプログラミング言語、エンドユーザーソフトウェアエンジニアリング、ジェンダーインクルーシブソフトウェア
- Rod Burstall – 言語COWSEL (POP-1 に改名)、POP-2、NPL、Hope ; ACM SIGPLAN 2009 PL 功績賞
- マイケル・バトラー–イベントB
C
- ピノ・カバジェロ・ギル–暗号
- トレイシー・キャンプ–ワイヤレスコンピューティング
- マーティン・キャンベル=ケリー–コンピュータの歴史
- ローズマリー・キャンドリン
- ロッド・キャニオン–コンパック・コンピュータ・コーポレーションの共同創設者
- ブライアン・キャントリル– DTraceを発明
- ルカ・カルデッリ
- ジョン・カーマック- Doomの共同開発者
- マイケル・カスパーセン–プログラミング方法論、オブジェクト指向プログラミング教育、情報科学教育の発展におけるリーダーシップ
- エドウィン・キャットマル–コンピュータグラフィックス
- Vint Cerf – インターネット、TCP/IP
- グレゴリー・チャイティン
- ロバート・カイヨー– ベルギーのコンピューター科学者
- 周朝晨–期間計算
- Peter Chen –実体関連モデル、データモデリング、概念モデル
- レオナルド・キアリリオーネ– MPEGの創設者
- トレイシー・チョウ– コンピューター科学者、活動家
- アロンゾ・チャーチ– 結合子の数学、ラムダ計算
- Alberto Ciaramella –音声認識、特許情報学
- エドマンド・M・クラーク–モデル検査
- ジョン・コック–縮小命令セットコンピュータ(RISC)
- エドガー・F・コッド(1923年~2003年) -データベース リレーショナルモデルを策定した
- ジャック・コーエン– コンピュータサイエンス教授
- イアン・コールドウォーター– コンピュータセキュリティ
- サイモン・コルトン–計算的創造性
- アラン・コルメロー–プロローグ
- ダグラス・カマー–シヌ
- ポール・ジャスティン・コンプトン–リップルダウンルール
- Richard W. Conway – CORC、CUPL、PL/C言語と方言、プログラミング教科書
- スティーブン・クック– NP完全性
- ジェームズ・クーリー–高速フーリエ変換(FFT)
- スティーブン・アンソン・クーンズ– 円錐曲線解析、ベジェ曲面パッチ(クーンズパッチを含む)、リトル・レッド・ブック(1967年)、コンピュータグラフィックス
- Danese Cooper –オープンソースソフトウェア
- Fernando J. Corbató –互換タイムシェアリングシステム(CTSS)、Multics
- ゴードン・コーマック–動的マルコフ圧縮の共同発明者
- Kit Cosper – オープンソースソフトウェア
- パトリック・クゾー–抽象的解釈
- インゲマル・コックス–デジタル透かし
- ダミアン・コイル–計算神経科学、神経画像、神経技術、脳コンピュータインターフェース
- シーモア・クレイ–クレイ・リサーチ、スーパーコンピュータ
- ネロ・クリスティアニーニ– 機械学習、パターン分析、人工知能
- ジョン・クロウクロフト– ネットワーキング
- W. ブルース・クロフト
- Glen Culler – インタラクティブコンピューティング、コンピュータグラフィックス、ハイパフォーマンスコンピューティング
- ハスケル・カリー
D
- ルイージ・ダッダ–ダッダ・マルチプライヤーのデザイナー
- Ole-Johan Dahl – Simula、オブジェクト指向プログラミング
- ライアン・ダール– node.jsプロジェクトの創設者
- アンドリース・ファン・ダム–コンピュータグラフィックス、ハイパーテキスト
- Samir Das –ワイヤレスネットワーク、モバイルコンピューティング、車両アドホックネットワーク、センサーネットワーク、メッシュネットワーク、ワイヤレスアドホックネットワーク
- ニール・ダスワニ–コンピュータセキュリティ、スタンフォード大学高度コンピュータセキュリティプログラムの共同創設者兼共同ディレクター、Dasient(Twitterに買収)の共同創設者、LifeLockおよびSymantecのコンシューマービジネスユニットの元最高情報セキュリティ責任者
- クリストファー・J・デイト–データベース リレーショナルモデルの提唱者
- テリー・A・デイビス– TempleOSの作者
- Jeff Dean – Google のBigtable、MapReduce、Spanner
- エリック・ディメイン–計算折り紙
- トム・デマルコ
- リチャード・デミロ–コンピュータセキュリティ、ソフトウェアエンジニアリング、教育技術
- ドロシー・E・デニング– コンピュータセキュリティ
- ピーター・J・デニング-オペレーティングシステムのワーキングセットとバランスセットの使用を識別したACM会長
- マイケル・デルトゥーゾス– 1974年から2001年までマサチューセッツ工科大学(MIT)コンピュータサイエンス研究所(LCS)所長
- アレクサンダー・デュードニー
- Robert Dewar – IFIP WG 2.1メンバー、ALGOL 68議長、AdaCore共同創設者、社長、CEO
- Vinod Dham – P5 Pentiumプロセッサ
- ヤン・ディーツ(1945年生まれ)(減衰定数) -情報システム理論と組織のための設計・エンジニアリング方法論
- ホイットフィールド・ディフィー(1944年生まれ)(線形応答関数) - 公開鍵暗号、ディフィー・ヘルマン鍵交換
- Edsger W. Dijkstra –アルゴリズム、ダイクストラのアルゴリズム、Go To文は有害とみなされる、セマフォ(プログラミング)、IFIP WG 2.1メンバー
- Matthew Dillon – DragonFly BSD with LWKT、vkernel OSレベル仮想化、ファイルシステム: HAMMER 1、HAMMER2
- アラン・ディックス–人間とコンピュータの相互作用に関する重要な大学レベルの教科書を執筆した
- ジャック・ドンガラ–線形代数 高性能コンピューティング(HCI)
- マルコ・ドリゴ–アリコロニー最適化
- ポール・ドゥーリッシュ–ヒューマンコンピュータインタラクション
- チャールズ・スターク・ドレイパー(1901–1987)–アポロ誘導コンピュータの設計者、「慣性航法の父」、MIT教授
- スーザン・デュメ–情報検索
- Adam Dunkels – Contiki、lwIP、uIP、プロトスレッド
- ジョン・マイケル・ダン- インディアナ大学情報学部の初代学部長、情報ベースロジック、特に関連性ロジック
- Schahram Dustdar – 分散システム、ウィーン工科大学、オーストリア
E
- ピーター・イーデス–グラフ描画
- アニー・イーズリー
- ウィム・エビンクイセン– COBOL
- ジョン・プレスパー・エッカート– ENIAC
- アラン・エーデルマン– エーデルマンの法則、確率論的演算子、インタラクティブ・スーパーコンピューティング、Julia(プログラミング言語)の共同開発者、高性能コンピューティング、数値計算
- ブレンダン・アイヒ– JavaScript、Mozilla
- フィリップ・エメアグワリ– スーパーコンピューティング
- E. アレン・エマーソン– モデル検査
- ダグラス・エンゲルバート– タイルウィンドウ、ハイパーテキスト、コンピュータマウス
- バーバラ・エンゲルハート–潜在変数モデル、ゲノミクス、量的形質遺伝子座(QTL)
- デビッド・エップスタイン
- Andrey Ershov – 言語ALPHA、Rapira、ソ連初のタイムシェアリングシステムAIST-0、電子出版システムRUBIN、マルチプロセッシング ワークステーション MRAMOR、IFIP WG 2.1メンバー、プログラミングにおける美学と人間的要素
- ドン・エストリッジ(1937年 - 1985年) - オリジナルのIBMパーソナルコンピュータ(PC)の開発を主導。「IBM PCの父」として知られる。
- Oren Etzioni – MetaCrawler、Netbot
- クリストファー・リッチ・エヴァンス
- デビッド・C・エヴァンス–コンピュータグラフィックス
- シモン・エヴェン
F
- スコット・ファールマン
- エドワード・ファイゲンバウム–インテリジェンス
- エドワード・フェルテン–コンピューターセキュリティ
- ティム・フィニン
- ラファエル・フィンケル
- ドナルド・ファイアスミス
- ゲイリー・ウィリアム・フレーク
- トミー・フラワーズ–コロッサス・コンピューター
- ロバート・フロイド– NP完全性
- サリー・フロイド– インターネット輻輳制御
- ローレンス・J・フォーゲル–進化プログラミング
- ジェームズ・D・フォーリー
- ケン・フォーバス
- LRフォード・ジュニア
- ランス・フォートナウ
- マフムード・サミール・ファイド– PWCT、リング
- マーティン・ファウラー
- ロバート・フランス
- ハーバート・W・フランケ
- エドワード・フレドキン
- ヨアヴ・フロイント
- ダニエル・P・フリードマン
- シャーロット・フローズ・フィッシャー– 計算理論物理学
- 平福
- フー・シャオミン
- 福島邦彦–ネオコグニトロン、人工ニューラルネットワーク、畳み込みニューラルネットワークアーキテクチャ、教師なし学習、ディープラーニング
- DR フルカーソン
G
- Richard P. Gabriel – Maclisp、Common Lisp、Worse is Better、League for Programming Freedom、Lucid Inc.、XEmacs
- ズヴィ・ガリル
- バーナード・ガラー– MAD(プログラミング言語)
- ヘクター・ガルシア・モリーナ
- マイケル・ギャリー– NP完全性
- ヒューゴ・デ・ガリス
- ビル・ゲイツ–マイクロソフトの共同創設者
- デビッド・ゲレンター
- リサ・ゲロブター– 米国教育省の最高デジタルサービス責任者、teQuitableの創設者
- チャールズ・ゲシュケ
- ズービン・ガフラマニ
- サンジェイ・ゲマワット
- ジェレミー・ギボンズ–ジェネリックプログラミング、関数型プログラミング、形式手法、計算生物学、バイオインフォマティクス
- フアン・E・ギルバート–人間中心のコンピューティング
- リー・ジャイルズ– CiteSeer
- シーモア・ギンズバーグ–形式言語、オートマトン理論、AFL理論、データベース理論
- ロバート・L・グラス
- クルト・ゲーデル–計算可能性。厳密にはコンピュータ科学者ではないが、彼の研究はこの分野で非常に貴重なものであった。
- アショク・ゴエル
- ジョセフ・ゴーゲン
- E. マーク・ゴールド–極限における言語識別
- アデル・ゴールドバーグ–スモールトーク
- アンドリュー・V・ゴールドバーグ–アルゴリズム、アルゴリズムエンジニアリング
- イアン・ゴールドバーグ– 暗号学者、非公式メッセージング
- ジュディ・ゴールドスミス–計算複雑性理論、意思決定理論、コンピュータ倫理
- オデッド・ゴールドライヒ–暗号学、計算複雑性理論
- シャフィ・ゴールドワッサー–暗号学、計算複雑性理論
- ジーン・ゴルブ–行列計算
- マーティン・チャールズ・ゴルンビック–アルゴリズムグラフ理論
- ガストン・ゴネット– Waterloo Maple Inc.の共同創設者
- イアン・グッドフェロー–機械学習
- James Gosling – ネットワーク拡張ウィンドウシステム ( NeWS )、Java
- ポール・グラハム– Viaweb、On Lisp、Arc
- Robert M. Graham – プログラミング言語コンパイラ(GAT、Michigan Algorithm Decoder(MAD))、仮想メモリアーキテクチャ、Multics
- Susan L. Graham –コンパイラ、プログラミング環境
- ジム・グレイ–データベース
- マイケル・グレッグ- アメリカのコンピュータセキュリティ専門家
- シーラ・グライバッハ–グライバッハ標準形、抽象言語族(AFL)理論
- David Gries –プログラミングの科学、干渉の自由、IFIP WG 2.3プログラミング方法論の名誉会員
- Robert Griesemer – Go言語
- ラルフ・グリスウォルド– SNOBOL
- Bill Gropp –メッセージ パッシング インターフェース、科学計算のためのポータブルで拡張可能なツールキット(PETSc)
- トム・グルーバー–オントロジーエンジニアリング
- シェリア・グバーマン–手書き認識
- Ramanathan V. Guha –リソース記述フレームワーク(RDF)、Netscape、RSS、Epinions
- ニール・J・ガンサー–コンピュータパフォーマンス分析、キャパシティプランニング
- ユルグ・グートクネヒト–ニクラウス・ヴィルトと:リリス・コンピューター; Modula-2、Oberon、Zonnon プログラミング言語。Oberon オペレーティング システム
- マイケル・ガイ–フェニックス、数論、コンピュータ代数、高次元多面体理論に関する研究。ジョン・ホートン・コンウェイと共著。
- Giri Topper -アンナ大学のトップでありプログラマー
H
- Nico Habermann –オペレーティングシステム、ソフトウェアエンジニアリング、プロセス間通信、プロセス同期、デッドロック回避、ソフトウェア検証、プログラミング言語: ALGOL 60、BLISS、Pascal、Ada
- フィリップ・マテウス・ハーン– 機械式計算機
- エルドン・C・ホール–アポロ誘導コンピューター
- ウェンディ・ホール
- ジョセフ・ハルパーン
- マーガレット・ハミルトン– 超信頼性ソフトウェア設計、アポロ計画の宇宙ミッション
- リチャード・ハミング–ハミング符号、計算機協会の創設者
- Jiawe Han –データマイニング
- フランク・ハラリー–グラフ理論
- ブライアン・ハリス–機械翻訳研究、カナダ初のコンピュータ支援翻訳コース、自然翻訳理論、コミュニティ通訳(Critical Link)
- ユリス・ハートマニス–計算複雑性理論
- ヨハン・ハスタッド–計算複雑性理論
- レス・ハットン–ソフトウェア障害と脆弱性
- イゴール・ハウリシュキエヴィチ(1948年生まれ) – アメリカのコンピュータ科学者、組織理論家
- 何継峰–証明可能な正しいシステム
- Eric Hehner –述語的プログラミング、形式手法、引用記法、ALGOL
- マーティン・ヘルマン– 暗号化
- Gernot Heiser –オペレーティングシステムの教育、研究、商用化、Open Kernel Labs、OKL4、Wombat
- ジェームズ・ヘンドラー–セマンティックウェブ
- ジョン・L・ヘネシー–コンピュータアーキテクチャ
- アンドリュー・ハーバート
- カール・ヒューイット
- ケルシー・ハイタワー– オープンソース、クラウドコンピューティング
- ダニー・ヒリス–コネクション・マシン
- ジェフリー・ヒントン
- ジュリア・ヒルシュバーグ
- ティン・カム・ホー–人工知能、機械学習
- CAR Hoare –論理、厳密さ、連続プロセスの伝達(CSP)
- ルイス・ホーデス(1934–2008)– Lisp、パターン認識、論理プログラミング、癌研究
- ベティ・ホルバートン– ENIACプログラマー、最初のソートマージジェネレータを開発した
- ジョン・ヘンリー・ホランド–遺伝的アルゴリズム
- ハーマン・ホレリス(1860年 - 1929年) -パンチカードを用いて機械可読媒体にデータを記録する技術を発明した。
- ブリ・ホルト
- ジェラルド・ホルツマン–ソフトウェア検証、ロジックモデルチェック(SPIN)
- ジョン・ホップクロフト– 編集者
- グレース・ホッパー提督(1906-1992) - 初期のコンパイラを開発:FLOW-Matic、COBOL 、 UNIVACの開発に従事、コンピュータの歴史に関する講演を行い、ナノ秒単位の計算能力について講演した。
- エリック・ホーヴィッツ–人工知能
- アルストン・ハウスホルダー
- ポール・ハダック(1952–2015) – Haskell言語設計、Haskellの教科書、コンピュータ音楽
- デビッド・A・ハフマン(1925–1999) -ハフマン符号化、データ圧縮に使用される
- John Hughes –矢印による計算の構造化、QuickCheckランダム化プログラムテストフレームワーク、Haskell言語設計
- ロジャー・ホイ– J言語の共同作成者
- ワッツ・ハンフリー(1927–2010)–パーソナルソフトウェアプロセス(PSP)、ソフトウェア品質、チームソフトウェアプロセス(TSP)
- サンドラ・ハッチンズ(1946年生まれ) –音声認識
私
- ジャン・イクビア–エイダ
- Roberto Ierusalimschy – Lua (プログラミング言語)
- Dan Ingalls – Smalltalk、BitBlt、Lively Kernel
- メアリー・ジェーン・アーウィン
- ケネス・E・アイバーソン– APL、J
J
- Ivar Jacobson –統一モデリング言語、オブジェクト管理グループ
- アニル・K・ジェイン(1948年生まれ)
- ラメシュ・ジェイン
- ジョナサン・ジェームズ
- ジョルディ・ウストレル・アギラ
- デビッド・S・ジョンソン
- スティーブン・C・ジョンソン
- アンジー・ジョーンズ– ソフトウェアエンジニア兼オートメーションアーキテクト。アメリカ合衆国と日本で26件の特許を保有。
- クリフ・ジョーンズ–ウィーン開発メソッド(VDM)
- マイケル・I・ジョーダン
- マタイ・ジョセフ
- アラヴィンド・K・ジョシ
- ビル・ジョイ(1954年生まれ) –サン・マイクロシステムズ、BSD UNIX、vi、csh
- ダン・ジュラフスキー– 自然言語処理
K
- ウィリアム・カーハン–数値解析
- ロバート・E・カーン– TCP/IP
- アビナッシュ・カク–デジタル画像処理
- Poul-Henning Kamp – GBDE、FreeBSD Jails、Varnish キャッシュを発明
- デビッド・カーガー
- リチャード・カープ– NP完全性
- ナレンドラ・カルマルカール–カルマルカールのアルゴリズム
- マレク・カルピンスキー– NP最適化問題
- テッド・ケーラー– Smalltalk、Squeak、HyperCard
- アラン・ケイ– Dynabook、Smalltalk、重なり合うウィンドウ
- Neeraj Kayal – AKS 素数性テスト
- マノリス・ケリス–計算生物学
- ジョン・ジョージ・ケメニー– BASIC言語
- Ken Kennedy – 並列マシンとベクトルマシンのコンパイル
- ブライアン・カーニハン(1942年生まれ) – Unix 、 AWKの「k」
- カール・ケッセルマン–グリッドコンピューティング
- Gregor Kiczales – CLOS、リフレクションプログラミング、アスペクト指向プログラミング
- ローガン・キルパトリック
- ピーター・T・カースタイン– インターネット
- スティーブン・コール・クリーネ–クリーネ閉包、再帰理論
- ダン・クライン–自然言語処理、機械翻訳
- レナード・クラインロック– ARPANET、待ち行列理論、パケット交換、階層型ルーティング
- ドナルド・クヌース–コンピュータプログラミングの芸術、MIX / MMIX、TeX、文芸的プログラミング
- アンドリュー・ケーニッヒ– C++
- ダフネ・コラー–人工知能、ベイジアンネットワーク
- マイケル・ケーリング– BlueJ
- アンドレイ・ニコラエヴィチ・コルモゴロフ–アルゴリズム複雑性理論
- ジャネット・L・コロドナー–事例に基づく推論
- デビッド・コーン–コーンシェル
- キース・コスター– ALGOL 68
- ロバート・コワルスキー–論理プログラミング
- ジョン・コザ–遺伝的プログラミング
- アレックス・クリジェフスキー– AlexNet
- John Krogstie – SEQUAL フレームワーク
- ジョセフ・クラスカル–クラスカルのアルゴリズム
- マールヤ・クルウスマー– 水中ロボット工学者
- D.リチャード・クーン- コンピューター科学者
- トーマス・E・カーツ(1928–2024)– BASICプログラミング言語、ダートマス大学コンピューター教授
L
- リチャード・E・ラドナー
- モニカ・S・ラム
- レスリー・ランポート–分散コンピューティングのためのアルゴリズム、LaTeX
- バトラー・ランプソン– SDS 940、創設メンバーXerox PARC、Xerox Alto、チューリング賞
- Peter Landin – ISWIM、J演算子、SECDマシン、オフサイドルール、構文糖、ALGOL、IFIP WG 2.1メンバー、プログラミング言語をモデル化する高度なラムダ計算(関数型プログラミング支援)、表示的意味論
- Tom Lane – Independent JPEG Group、PostgreSQL、Portable Network Graphics (PNG)
- ボリエ・ランゲフォース
- ハンス・ラングマック
- クリス・ラトナー– Swift(プログラミング言語)とLLVMコンパイラインフラストラクチャの作成者
- スティーブ・ローレンス
- エドワード・D・ラゾウスカ
- ジョシュア・レーダーバーグ
- マニー・M・レーマン
- Charles E. Leiserson –キャッシュ忘却アルゴリズム、証明可能な優れたワークスティーリング、『アルゴリズム入門』の共著者
- ダグラス・レナット–人工知能、Cyc
- ヤン・ルカン
- ラスムス・ラードルフ– PHP
- マックス・レフチン–ガウゼベック・レフチン検定とPayPal
- レオニード・レヴィン–計算複雑性理論
- ケビン・レイトン=ブラウン–人工知能
- フェイフェイ・リー– ImageNet
- JCRリックライダー
- デビッド・リドル
- Jochen Liedtke –マイクロカーネル オペレーティング システム Eumel、L3、L4
- ジョン・ライオンズ著『Lions' Commentary on UNIX 6th Edition, with Source Code』(ライオンズブック)
- Charles H. Lindsey – IFIP WG 2.1メンバー、ALGOL 68改訂報告書
- リチャード・J・リプトン–計算複雑性理論
- バーバラ・リスコフ–プログラミング言語
- Yanhong Annie Liu –プログラミング言語、アルゴリズム、プログラム設計、プログラム最適化、ソフトウェアシステム、最適化、分析、変換、インテリジェントシステム、分散コンピューティング、コンピュータセキュリティ、IFIP WG 2.1メンバー
- ダレル・ロング–コンピュータデータストレージ、コンピュータセキュリティ
- パトリシア・D・ロペス– コンピューティングへの参加を広げる
- ジリアン・ラブグローブ
- エイダ・ラブレス– 最初のプログラマー
- David Luckham – Lisp、自動定理証明、Stanford Pascal検証ツール、複合イベント処理、Rational Software共同設立者(Ada コンパイラ)
- ユージン・ルクス
- ナンシー・リンチ
M
- ナディア・マグネナット・タルマン–コンピュータグラフィックス、仮想俳優
- トム・マイバウム
- ジョージ・マレン–クリエイティブコンピューティング、コンピュータアート
- Simon Marlow – Haskell開発者、書籍著者、共同開発者: Glasgow Haskell Compiler、Haxlリモートデータアクセスライブラリ
- ゾハル・マンナ–ファジー論理
- ジェームズ・マーティン–情報工学
- ロバート・C・マーティン(アンクル・ボブ) –ソフトウェア職人
- ジョン・マシー
- ユーリ・マティヤセビッチ–ヒルベルトの 10 番目の問題を解く
- まつもとゆきひろ– Ruby(プログラミング言語)
- ジョン・モークリー(1907年 - 1980年) -世界初の汎用電子デジタルコンピュータであるENIAC 、EDVAC、BINAC、そして世界初の商用コンピュータであるUNIVAC Iを設計。ENIACの開発ではジャン・バーティック、 UNIVACの開発ではグレース・マレー・ホッパーと協力した。
- Ujjwal Maulik(1965年生まれ)多目的クラスタリングとバイオインフォマティクス
- デレク・マコーリー–ユビキタスコンピューティング、コンピュータアーキテクチャ、ネットワーキング
- コナー・マクブライド–型理論、関数型プログラミングを研究。ジェームズ・マッキナとエピグラム(プログラミング言語)を共同開発。IFIPアルゴリズム言語および計算ワーキンググループ 2.1 のメンバー。
- ジョン・マッカーシー– Lisp(プログラミング言語)、ALGOL、IFIP WG 2.1メンバー、人工知能
- アンドリュー・マッカラム
- ダグラス・マキロイ–マクロ、パイプ、Unix哲学
- クリス・マッキンストリー–人工知能、マインドピクセル
- マーシャル・カーク・マクキュージック– BSD、バークレー高速ファイルシステム
- Lambert Meertens – ALGOL 68、IFIP WG 2.1メンバー、ABC (プログラミング言語)
- Kurt Mehlhorn – アルゴリズム、データ構造、LEDA
- ドラ・メトカーフ– 起業家、エンジニア、数学者
- ベルトラン・マイヤー– Eiffel(プログラミング言語)
- シルビオ・ミカリ–暗号学
- ロビン・ミルナー– ML(プログラミング言語)
- Jack Minker – データベース ロジック
- マービン・ミンスキー–人工知能、パーセプトロン、心の社会
- James G. Mitchell – WATFORコンパイラ、Mesa (プログラミング言語)、Spring (オペレーティングシステム)、ARM アーキテクチャ
- トム・M・ミッチェル
- Arvind Mithal –大規模デジタルシステムの形式検証、動的データフローアーキテクチャの開発、並列コンピューティングプログラミング言語(Id、pH)、並列マシンでのコンパイル
- ポール・モカペトリス–ドメインネームシステム(DNS)
- Clev Moler –数値解析、MATLAB
- ファロン・モラー–並行性理論
- ジョン・P・ムーン–発明家、Apple Inc.
- チャールズ・H・ムーア– Forth言語
- エドワード・F・ムーア–ムーアマシン
- ゴードン・ムーア–ムーアの法則
- J Strother Moore – 文字列検索、ACL2定理証明器
- ロジャー・ムーア– APL \360の共同開発者、 IPSANETの創設者、 IP Sharp Associates の共同設立者
- ハンス・モラベック– ロボット工学
- キャロル・モーガン–形式手法
- ロバート・タッパン・モリス–モリスワーム
- ジョエル・モーゼス–マクシマ
- ラジーブ・モトワニ–ランダム化アルゴリズム
- Oleg A. Mukhanov –量子コンピューティング開発者、SeeQC の共同創設者および CTO
- スティーブン・マグルトン–帰納的論理プログラミング
- クラウス・ロバート・ミュラー– 機械学習、人工知能
- アラン・マイクロフト– プログラミング言語
- ブラッド・A・マイヤーズ– 人間とコンピュータのインタラクション
北
- ミハイ・ナディン– 予測研究
- 長尾誠– 機械翻訳、自然言語処理、デジタルライブラリ
- フリーダー・ネイク– コンピューター アートの先駆者
- ボニー・ナルディ– 人間とコンピュータのインタラクション
- ピーター・ナウア(1928–2016) –バッカス・ナウア形式(BNF)、ALGOL 60、IFIP WG 2.1メンバー
- ロジャー・ニーダム– コンピュータセキュリティ
- James G. Nell –汎用エンタープライズリファレンスアーキテクチャと方法論(GERAM)
- グレッグ・ネルソン(1953–2015) –理論を法とする充足可能性、拡張静的検査、プログラム検証、Modula-3委員会、ESC/Javaの定理証明器の簡素化
- ベルナール・ド・ノイマン– 超並列自律セルラープロセッサ、ソフトウェア工学研究
- クララ・ダン・フォン・ノイマン(1911–1963) – 初期のコンピューター、ENIACプログラマー、制御デザイナー
- ジョン・フォン・ノイマン(1903–1957)–初期のコンピュータ、フォン・ノイマン・マシン、集合論、関数解析、数学の先駆者、線形計画法、量子力学
- アレン・ニューウェル–人工知能、コンピュータ構造
- マックス・ニューマン–コロッサス・コンピューター、MADM
- アンドリュー・ン–人工知能、機械学習、ロボット工学
- ニルス・ジョン・ニルソン(1933–2019)–人工知能
- GM Nijssen – Nijssen の情報分析手法 (NIAM)オブジェクト - ロール モデリング
- トビアス・ニプコウ– 証明支援
- モーリス・ニヴァット–理論計算機科学、理論計算機科学ジャーナル、ALGOL、IFIP WG 2.1メンバー
- ジェレ・ノエ– コンピュータ化された銀行業務
- ピーター・ノルディン–人工知能、遺伝的プログラミング、進化ロボット工学
- ドナルド・ノーマン–ユーザーインターフェース、ユーザビリティ
- ピーター・ノルヴィグ–人工知能、Google リサーチ ディレクター
- ジョージ・ノヴァッキー– ピッツバーグ大学:学科長補佐、コンピュータサイエンスの上級講師、学部研究のCAS副学部長
- Kristen Nygaard –シミュレーション、オブジェクト指向プログラミング
お
- Martin Odersky – Scalaプログラミング言語
- Peter O'Hearn –分離ロジック、束ねられたロジック、Infer Static Analyzer
- T.ウィリアム・オーレ– フェランティ・マーキュリー
- スティーブ・オモハンドロ
- セベロ・オルンスタイン
- ジョン・オサリバン– Wi-Fi
- John Ousterhout – Tclプログラミング言語
- マーク・オーヴァーマーズ–ビデオゲームプログラミング
- スーザン・オウィッキ–干渉の自由
P
- ラリー・ペイジ– Googleの共同創設者
- サンカール・パル
- パリトシュ・パンディア
- クリストス・パパディミトリウ
- ケシャブ・K・パルヒ
- デイヴィッド・パーク(1935–1990) – 最初のLisp実装、公平性、プログラムスキーマ、並行計算における双模倣の専門家
- デビッド・パルナス–情報隠蔽、モジュラープログラミング
- DJパティル– 元米国チーフデータサイエンティスト
- イェール・パット–命令レベルの並列性、投機的アーキテクチャ
- デビッド・パターソン–縮小命令セットコンピュータ(RISC)、RISC-V、安価なディスクの冗長アレイ(RAID)、バークレー・ワークステーション・ネットワーク(NOW)
- マイク・パターソン–アルゴリズム、アルゴリズムの分析(複雑性)
- ミハイ・パトラシュク–データ構造
- ローレンス・ポールソン– ML
- ランディ・パウシュ(1960–2008)–ヒューマン・コンピュータ・インタラクション、カーネギー教授、「最後の講義」
- フアン・パボン–ソフトウェアエージェント
- ジューディア・パール–人工知能、検索アルゴリズム
- アラン・パーリス–プログラミングの秘訣
- ラディア・パールマン–スパニングツリープロトコル
- Pier Giorgio Perotto – Olivettiのコンピュータ デザイナー、 Programma 101 プログラム可能電卓のデザイナー
- Rózsa Péter –再帰関数理論
- Simon Peyton Jones –関数型プログラミング、Glasgow Haskell コンパイラ、C--
- キャシー・ファム– データ、人工知能、シビックテクノロジー、ヘルスケア、倫理
- ロベルト・ピエラチーニ– Googleの音声テクノロジスト、エンジニアリングディレクター
- Keshav Pingali – IEEE コンピュータ協会チャールズ バベッジ賞、ACM フェロー (2012)
- ゴードン・プロトキン
- アミール・プヌエリ–時相論理
- ウィレム・ファンデルポール– コンピュータグラフィックス、ロボット工学、地理情報システム、イメージング、マルチメディア、仮想環境、ゲーム
- Robin Popplestone – COWSEL(POP-1に改名)、POP-2、POP-11言語、Poplog IDE、Freddy IIロボット
- シセリー・ポップルウェル(1920–1995) – 1960年代のイギリスのソフトウェアエンジニア
- エミール・ポスト– 数学
- ジョン・ポステル– インターネット
- フランコ・プレパラータ–コンピュータ工学、計算幾何学、並列アルゴリズム、計算生物学
- ウィリアム・H・プレス– 数値アルゴリズム
R
- ラペラン・ラバナ
- Grzegorz Rozenberg –自然計算、オートマトン理論、グラフ変換、並行システム
- マイケル・O・ラビン–非決定性機械
- Dragomir R. Radev –自然言語処理、情報検索
- TV Raman –アクセシビリティ、Emacspeak
- ブライアン・ランデル– ALGOL 60、ソフトウェアのフォールトトレランス、信頼性、1950年以前のコンピュータハードウェアの歴史
- Anders P. Ravn –持続微積分
- ラジ・レディ–人工知能
- デビッド・P・リード
- Trygve Reenskaug –モデル・ビュー・コントローラ(MVC)ソフトウェアアーキテクチャパターン
- John C. Reynolds –継続、定義的インタプリタ、脱機能化、フォーサイス、ゲダンケン言語、交差型、多態的ラムダ計算、関係パラメトリシティ、分離論理、ALGOL
- ジョイス・K・レイノルズ– インターネット
- Reinder van de Riet – 編集者: Europe of Data and Knowledge Engineering、COLOR-Xイベントモデリング言語
- バーナード・リチャーズ–医療情報学
- マーティン・リチャーズ– 基本複合プログラミング言語 ( BCPL )
- アダム・リース–ローマ数字に代わるアラビア数字の提唱者
- CJ・ヴァン・ライスベルゲン
- デニス・リッチー– C(プログラミング言語)、Unix
- ロン・リベスト– RSA、MD5、RC4
- ローレンス・ロバーツ– ARPANETプログラムマネージャー、インターネット共同創設者
- ポール・ロバートソン(研究者) - AI研究者
- ケン・ロビンソン–形式手法
- コレット・ロランド– REMORA方法論、メタモデリング
- ジョン・ロメロ- Doomの共同開発者
- アズリエル・ローゼンフェルド
- ダグラス・T・ロス– 自動プログラムツール(APT)、コンピュータ支援設計、構造化分析設計技術、ALGOL X
- ロナルド・S・ロス - コンピューター科学者
- Guido van Rossum – Python(プログラミング言語)
- MA ロスマン– UEFI
- ウィンストン・W・ロイス–ウォーターフォールモデル
- ルディ・ラッカー– 数学者、作家、教育者
- スティーブン・ルディッチ– 複雑性理論、暗号学
- ジェフ・ルリフソン
- James Rumbaugh –統一モデリング言語、オブジェクト管理グループ
- Peter Ružička – スロバキアのコンピューター科学者および数学者
S
- ジョージ・サドウスキー
- Mehrnoosh Sadrzadeh – 意味の構成モデル、機械学習
- ウマル・サイフ
- ジェラルド・サルトン–情報検索
- Jean E. Sammet –プログラミング言語
- クロード・サムット–人工知能研究者
- Carl Sassenrath –オペレーティングシステム、プログラミング言語、Amiga、REBOL
- Mahadev Satyanarayanan –ファイルシステム、分散システム、モバイルコンピューティング、パーベイシブコンピューティング
- ウォルター・サヴィッチ– 複雑性クラスNLの発見、サヴィッチの定理、自然言語処理、数理言語学
- Nitin Saxena – AKS 素数性テスト(多項式時間素数性判定、計算複雑性理論)
- ジョナサン・シェーファー
- ハイディ・シェルハウ
- ヴィルヘルム・シッカード– 最初の計算機の1つ
- ユルゲン・シュミットフーバー– 人工知能、ディープラーニング、人工ニューラルネットワーク、リカレントニューラルネットワーク、ゲーデルマシン、人工好奇心、メタ学習
- スティーブ・シュナイダー–形式手法、セキュリティ
- ブルース・シュナイアー– 暗号学、セキュリティ
- Fred B. Schneider – 並行コンピューティングと分散コンピューティング
- サリタ・シェーネベック– ヒューマン・コンピュータ・インタラクション
- Glenda Schroeder – コマンドラインシェル、電子メール
- ベルンハルト・シェルコップ– 機械学習、人工知能
- ダナ・スコット–ドメイン理論
- マイケル・L・スコット–プログラミング言語、アルゴリズム、分散コンピューティング
- ロバート・セジウィック– アルゴリズム、データ構造
- ラヴィ・セティ– 編集者、第2のドラゴンブック
- ナイジェル・シャドボルト
- アディ・シャミール– RSA、暗号解析
- クロード・シャノン–情報理論
- David E. Shaw – 計算金融、計算生化学、並列アーキテクチャ
- クリフ・ショー– システムプログラマー、人工知能
- スコット・シェンカー– ネットワーキング
- シャシ・シェカール– 空間コンピューティング
- ベン・シュナイダーマン–ヒューマンコンピュータインタラクション、情報視覚化
- エドワード・H・ショートリフ– MYCIN(医療診断エキスパートシステム)
- Daniel Siewiorek –電子設計自動化、信頼性コンピューティング、コンテキストアウェアモバイル コンピューティング、ウェアラブルコンピューティング、コンピュータ支援設計、ラピッドプロトタイピング、フォールトトレランス
- ジョセフ・シファキス– モデル検査
- ハーバート・A・サイモン–人工知能
- Munindar P. Singh –マルチエージェントシステム、ソフトウェアエンジニアリング、人工知能、ソーシャルネットワーク
- Ramesh Sitaraman – Akamaiの高性能ネットワークの構築に貢献
- ダニエル・スリーター–スプレイツリー、償却分析
- アーロン・スローマン– 人工知能と認知科学
- Arne Solvberg – 情報モデリング
- ブライアン・キャントウェル・スミス–リフレクティブプログラミング、3lisp
- デビッド・キャンフィールド・スミス-インターフェースアイコン、デモンストレーションによるプログラミング、グラフィカルユーザーインターフェースの開発、ゼロックススター、ゼロックスPARC研究者、Dest Systems、Cognitionの共同設立者
- Steven Spewak –エンタープライズアーキテクチャプランニング
- キャロル・スプラドリング
- ロバート・スプロール
- Rohini Kesavan Srihari –情報検索、テキスト分析、多言語テキストマイニング
- Sargur Srihari –パターン認識、機械学習、計算犯罪学、CEDAR-FOX
- Maciej Stachowiak – GNOME、Safari、WebKit
- リチャード・ストールマン(1953年生まれ) – GNUプロジェクト
- ロナルド・スタンパー
- サド・スターナー
- リチャード・E・スターンズ–計算複雑性理論
- Guy L. Steele, Jr. – Scheme、Common Lisp
- トーマス・スターリング–ベオウルフ・クラスターの作者
- アレクサンダー・ステパノフ–ジェネリックプログラミング
- W. リチャード・スティーブンス(1951–1999) - 『TCP/IP Illustrated』や『Advanced Programming in the Unix Environment』などの著書がある。
- ラリー・ストックマイヤー– 計算複雑性、分散コンピューティング
- Salvatore Stolfo – コンピュータセキュリティ、機械学習
- マイケル・ストーンブレーカー–リレーショナルデータベースの実践と理論
- Olaf Storaasli –有限要素マシン、線形代数、高性能コンピューティング
- クリストファー・ストラチェイ–指示的意味論
- Volker Strassen –行列乗算、整数乗算、Solovay–Strassen素数判定
- ビャーネ・ストロウストルップ– C++
- マドゥ・スーダン–計算複雑性理論、符号理論
- ジェラルド・ジェイ・サスマン– Scheme
- バート・サザーランド–コンピュータグラフィックス、インターネット
- アイヴァン・サザーランド–コンピュータグラフィックス:スケッチパッド、エヴァンス&サザーランド
- Ilya Sutskever –ディープラーニング、AlexNet、OpenAI
- ラタニヤ・スウィーニー– データプライバシーとアルゴリズムの公平性
- マリオ・セゲディ–複雑性理論、量子コンピューティング
T
- パリサ・タブリーズ– Googleエンジニアリングディレクター、別名「セキュリティプリンセス」
- ロベルト・タマシア–計算幾何学、コンピュータセキュリティ
- Andrew S. Tanenbaum –オペレーティングシステム、MINIX
- オースティン・テイト–人工知能アプリケーション、AIプランニング、仮想世界
- Bernhard Thalheim – 概念モデリングの基礎
- エヴァ・タルドス
- ガボール・タルドス
- ロバート・タージャン– スプレイツリー
- ヴァレリー・テイラー
- マリオ・チョウ– 中国系イタリア人エンジニア、オリベッティ・エレア・プロジェクトのリーダー
- ジェイミー・ティーヴァン
- Shang-Hua Teng – アルゴリズムの分析
- ラリー・テスラー– ヒューマン・コンピュータ・インタラクション、グラフィカル・ユーザー・インターフェース、Apple Macintosh
- Avie Tevanian – Mach カーネル チーム、NeXT、Mac OS X
- チャールズ・P・サッカー–ゼロックス Alto、マイクロソフト リサーチ
- ダニエル・タルマン–コンピュータグラフィックス、バーチャルアクター
- ケン・トンプソン– 主にUnix、Plan 9およびInfernoオペレーティングシステム、Bおよび Bon 言語 ( Cの前身) を設計および作成し、UTF-8文字エンコーディングを作成し、QEDに正規表現を導入し、 Go言語の共同著者となった。
- Simon Thompson –関数型プログラミングの研究、教科書、Cardano ドメイン固有言語:Marlowe
- セバスチャン・スラン– AI研究者、自動運転の先駆者
- ウォルター・F・ティチー– RCS
- 戸田誠之助– 計算複雑性、1998年ゲーデル賞受賞
- Chai Keong Toh – モバイル アドホック ネットワークのパイオニア
- Linus Torvalds – Linuxカーネル、Git
- レオナルド・トーレス・ケベド(1852–1936)は、1912年にエル・アジェドレシスタ(チェスプレイヤー)を発明しました。これは、人間の指示なしにチェスをプレイするために作られた真のオートマトンです。著書『オートマティックスに関するエッセイ』 (1913年)では、浮動小数点演算の概念を導入しました。1920年には、解析機関の初期の電気機械装置を製作しました。
- ゴッドフリード・トゥーサン– 計算幾何学、計算音楽理論
- グロリア・タウンゼント
- エドウィン・E・トーザー– ビジネス情報システム
- ジョセフ・F・トラウブ– 科学的問題の計算複雑性
- ジョン・V・タッカー–計算可能性理論
- ジョン・テューキー– FFTアルゴリズム、ボックスプロット、探索的データ分析の創始者であり、「ビット」という用語を生み出した人物
- アラン・チューリング(1912–1954) – イギリスの計算機の先駆者、チューリングマシン、アルゴリズム、暗号学、計算機アーキテクチャ
- David Turner – SASL、Kent再帰計算機、Miranda、IFIP WG 2.1メンバー
- マレー・トゥロフ–コンピュータを介したコミュニケーション
あなた
- ジェフリー・D・ウルマン– コンパイラ、データベース、複雑性理論
V
- レスリー・ヴァリアント–計算複雑性理論、計算学習理論
- ウラジミール・ヴァプニク–パターン認識、計算学習理論
- モシェ・ヴァルディ–ライス大学コンピュータサイエンス教授
- ドロシー・ヴォーン
- ベルナール・ヴォークワ–フランスのコンピュータサイエンスの先駆者、機械翻訳(MT)の理論と実践(ヴォークワの三角形を含む) 、ALGOL 60
- ウメシュ・ヴァジラニ
- マヌエラ・M・ベロソ
- François Vernadat –エンタープライズ モデリング
- リチャード・ベリアード– エンタープライズモデリング
- Sergiy Vilkomir –ソフトウェアテスト、RC/DC
- ポール・ヴィタニ–コルモゴロフ複雑性、情報距離、正規化圧縮距離、正規化Google距離
- アンドリュー・ビタビ–ビタビアルゴリズム
- ジェフリー・スコット・ヴィッター–外部メモリアルゴリズム、圧縮データ構造、データ圧縮、データベース
- ポール・ヴィクシー– DNS、BIND、PAIX、インターネットソフトウェアコンソーシアム、MAPS、DNSBL
W
- 和田英一– ALGOL N、IFIP WG 2.1メンバー、日本工業規格(JIS) X 0208、0212、Happy Hacking キーボード
- デビッド・ワグナー– セキュリティ、暗号化
- デビッド・ウォルツ
- ジェームズ・Z・ワン
- スティーブ・ワード
- マンフレッド・K・ワームス–計算学習理論
- David HD Warren – AI、論理プログラミング、Prolog、Warren Abstract Machine(WAM)
- ケビン・ワーウィック– 人工知能
- ヤン・ヴェグラーツ
- Philip Wadler –関数型プログラミング、Haskell、Monad、Java、論理
- Peter Wegner –オブジェクト指向プログラミング、インタラクション(コンピュータサイエンス)
- ジョセフ・ヘンリー・ウェグスタイン– ALGOL 58、ALGOL 60、IFIP WG 2.1メンバー、データ処理 技術標準、指紋分析
- Peter J. Weinberger – プログラミング言語設計、 AWKの「w」
- マーク・ワイザー–ユビキタスコンピューティング
- ジョセフ・ワイゼンバウム– 人工知能、ELIZA
- David Wheeler – EDSAC、サブルーチン
- フランクリン・H・ウェスターベルト– 工学教育におけるコンピュータの利用、コンピュータの会話的利用、ミシガン端末システム(MTS)、ARPANET、遠隔教育
- スティーブ・ウィテカー–ヒューマンコンピュータインタラクション、協調作業のためのコンピュータサポート、ソーシャルメディア
- ジェニファー・ウィドム– 非伝統的なデータ管理
- Gio Wiederhold –データベース管理システム
- ノーバート・ウィーナー–サイバネティクス
- アドリアン・ファン・ワインガルデン– オランダの開拓者。 ARRA、ALGOL、IFIP WG 2.1メンバー
- メアリー・アレン・ウィルクス– LINC開発者、アセンブラ・リンカー設計者
- モーリス・ヴィンセント・ウィルクス– マイクロプログラミング、EDSAC
- ヨリック・ウィルクス–計算言語学、人工知能
- ジェームズ・H・ウィルキンソン–数値解析
- ソフィー・ウィルソン– ARMアーキテクチャ
- シュムエル・ウィノグラード–コッパースミス・ウィノグラードアルゴリズム
- テリー・ウィノグラード– 人工知能、SHRDLU
- パトリック・ウィンストン– 人工知能
- Niklaus Wirth – ALGOL W、IFIP WG 2.1メンバー、Pascal、Modula、Oberon
- ニール・ワイズマン– コンピュータグラフィックス
- デニス・E・ウィスノスキー–統合コンピュータ支援製造(ICAM)、IDEF
- スティーブン・ウルフラム– Mathematica
- マイク・ウッドガー–パイロット ACE、ALGOL 60、Ada (プログラミング言語)
- Philip Woodward –曖昧関数、sinc関数、comb演算子、rep演算子、ALGOL 68-R
- ベアトリス・ヘレン・ワースリー- 現代のコンピュータに関する最初の博士論文を執筆。トランスコードの著者の一人。
- スティーブ・ウォズニアック– アップルコンピュータで第一世代のパーソナルコンピュータを設計した
- Jie Wu –コンピュータネットワーク
- William Wulf – BLISS システムプログラミング言語+最適化コンパイラ、Hydra オペレーティングシステム、Tartan Laboratories
はい
Z
- ロトフィ・ザデー–ファジー論理
- ハンス・ザンテマ–終了分析
- Arif Zaman –疑似乱数ジェネレータ
- スタンレー・ズドニック—データベース管理システム
- フセイン・ゼダン–形式手法とリアルタイムシステム
- シュロモ・ジルベルシュタイン– 人工知能、いつでもアルゴリズム、自動計画、分散型POMDP
- ジル・ジマーマン–ゴーチャー・カレッジのジェームズ・M・ビール教授(数学・コンピュータサイエンス)
- マーク・ザッカーバーグ– FacebookとMeta Platformsの共同創設者
- Konrad Zuse – ハードウェアとソフトウェアのドイツのパイオニア
参照
参考文献
外部リンク
- CiteSeerによるコンピュータサイエンス分野で最も引用されている著者のリスト
- h指数が40以上のコンピューター科学者