アミール・プヌーリ、ア(ー)ミール・ペヌーエーリー、アミル・ペヌエリ( a(ā)mīr pənū’ēlī; Amir Pnueli、1941年4月22日 - 2009年11月2日)は、イスラエル人の計算機科学者。

クリストファー・ストレイチー(、1916年11月16日 - 1975年5月18日)はイギリスの計算機科学者。なお、ストレイチー一族は政治家、芸術家、役人、学者を輩出した名家である。

ロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。

アロンゾ・チャーチ(Alonzo Church、1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。

アラン・マシスン・チューリング(Alan Mathison Turing、〔音写の一例：テュァリング〕, 1912年6月23日 - 1954年6月7日)は、イギリスの数学者、暗号研究者、計算機科学者、哲学者である。日本語において姓 はテューリングとも表記される。

チャールズ・アントニー・リチャード・ホーア(Charles Antony Richard Hoare、1934年1月11日 - )は、イギリスの計算機科学者。通称はトニー・ホーア(Tony Hoare)またはC・A・R・ホーア。

エドガー・ダイクストラ(Edsger Wybe Dijkstra, 1930年5月11日 - 2002年8月6日)は、オランダ人の計算機科学者。1972年、プログラミング言語の基礎研究への貢献に対してチューリング賞を受賞。構造化プログラミングの提唱者。

デイビッド・ロージ・パーナス(パルナス、David Lorge Parnas、1941年2月10日 - )は、オブジェクト指向の基礎となったモジュール設計の概念を生み出したソフトウェア工学の先駆者。また、精密なドキュメンテーションの支持者としても知られている。

ニクラウス・ヴィルト(Niklaus Wirth, 1934年2月15日 - 2024年1月1日)は、スイスの計算機科学者。プログラミング言語Pascal、Modula-2などの開発や、ソフトウェア工学分野の開拓的研究で知られる。

カール・アダム・ペトリ(、1926年7月12日 - 2010年7月2日)は、ドイツの数学者・計算機科学者。並列計算と分散コンピューティングの分野に多大な貢献をし、その成果は複雑系やワークフロー管理の研究にも役立っている。

オーレ＝ヨハン・ダール(Ole-Johan Dahl、1931年10月12日 - 2002年6月29日)は、ノルウェーの計算機科学者。クリステン・ニゴールと共同で、オブジェクト指向の起源となるSimulaを開発したことで知られる。

アーネスト・アレン・エマーソン(Ernest Allen Emerson、1954年6月2日 - )は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。

ドナルド・アーヴィン・クヌース(Donald Ervin Knuth , 1938年1月10日 -)は、数学者・計算機科学者。スタンフォード大学名誉教授。漢字名は高徳納(高德纳)。

デイナ・スチュアート・スコット (英語:Dana Stewart Scott、1932年10月11日 - )はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。

カール・ヒューイット(Carl E. Hewitt、? - 2022年12月7日)は、マサチューセッツ工科大学(MIT)の電気工学・計算機科学科の名誉准教授。

ロバート・W・フロイド(Robert W. Floyd、1936年6月8日 - 2001年9月25日)は、アメリカ合衆国の計算機科学者。彼の貢献としてワーシャル-フロイド法の設計がある(とはそれぞれ独立に考案)。

ジョン・マッカーシー(John McCarthy, 1927年9月4日 - 2011年10月24日)は、アメリカ合衆国の計算機科学者で認知科学者。マービン・ミンスキーとならぶ初期の人工知能研究の第一人者。

レスリー・B・ランポート(Leslie B. Lamport、1941年2月7日 - )は、アメリカ合衆国の計算機科学者である。分散システムの先駆的な研究で知られる。文書作成システムLaTeXの最初の開発者であり、その最初のマニュアルの著者でもある。

ハーラン・D・ミルズ(Harlan D. Mills、1919年5月14日 - 1996年1月8日)は、アメリカ合衆国の計算機科学者・工学者である。の計算機科学の教授であり、フロリダ州のSoftware Engineering Technology, Inc.の創設者である。

バートランド・メイヤー(、1950年11月21日 - )は、フランス出身のコンピュータ科学者。オブジェクト指向プログラミング言語 Eiffel を開発した、プログラミング言語関連書の著者、研究者、コンサルタント。ソフトウェア工学において契約による設計を創始した。