ヤン・ミクシンスキー(Jan Mikusiński、1913年4月3日-1987年7月27日)は、ポーランドの数学者。

ヘレナ・ラショーヴァ(Helena Rasiowa, 1917年6月20日 - 1994年8月9日)はポーランドの数学者。専門は数理論理学、特に代数的論理学。

マリアン・アダム・レイェフスキ(波：Marian Adam Rejewski, 1905年8月16日 - 1980年2月13日)は、ポーランドの数学者・暗号研究者。1932年にエニグマ暗号を破った。エニグマとは、ナチス・ドイツで使用された最も重要な暗号機である。

プレダ・ミハイレスク(Preda Mihăilescu、1955年3月23日 - )は、ルーマニアの数学者。ブカレスト生まれ。

ジョサイア・ウィラード・ギブズジョサイア・ウィラード・ギブズ(Josiah Willard Gibbs, 1839年2月11日 - 1903年4月28日)は、アメリカコネチカット州ニューヘイブン出身の数学者・物理学者・物理化学者で、エール大学(イェール大学)教授。

リチャード・マニング・カープ(Richard Manning Karp、1935年1月3日 - )は、計算機科学者にして計算理論家であり、計算理論の研究で知られている。カリフォルニア大学バークレー校に在籍。

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

ジョン・コック(John Cocke, 1925年5月30日 - 2002年7月16日)は、アメリカの計算機科学者であり、特にコンピュータ・アーキテクチャとコンパイラの最適化設計への多大な貢献で知られている。「RISCアーキテクチャの父」とも呼ばれる。

ピーター・ウィルストン・ショア(Peter Williston Shor, 1959年8月14日 -)は、アメリカ合衆国の理論計算機科学者、数学者。量子コンピュータの研究が有名であり、特に従来不可能であった素因数分解を高速量子アルゴリズム()を用いて解決する方法を提唱した。

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

ロバート・アンドレ・タージャン(Robert Endre Tarjan、1948年4月30日 - )は、アメリカ合衆国の計算機科学者。などのグラフアルゴリズムを発見し、スプレー木とフィボナッチヒープというデータ構造を共同で発明した。

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

クリストファー・ラングトン(Christopher Langton、1949年 - )は、アメリカ合衆国の計算機科学者。人工生命の研究で知られる。

ロナルド・リン・リベスト(Ronald Linn Rivest、1947年5月6日 - )は、暗号の研究者。2018年現在はMITの計算機科学の教授で、MITコンピュータ科学・人工知能研究所の所員である。通称はロン・リベスト (Ron Rivest)。

ユージン・イジケヴィッチ(、1967年 - )は、アメリカ在住の数学者。ロシア出身。専門は非線形力学系、理論神経生物学。オンライン無料百科事典スカラーペディアの設立者。ブレインコーポレーションCEO。

ウラジミール・アレクサンドロヴィチ・ヴォエヴォドスキー(, , 1966年6月4日 - 2017年9月30日)はロシア出身の数学者。モスクワ生まれ。1989年にモスクワ大学を卒業後、1992年にハーバード大学で博士号を取得。

ヒュー・ウッディン、1994年(photo by George Bergman)ウィリアム・ヒュー・ウッディン(William Hugh Woodin、1955年4月23日 - )はアリゾナ州トゥーソン出身の、ハーバード大学に所属する集合論学者。

ローレンス・カービー(Laurence Kirby, 1952年 - )は、アメリカ合衆国の数学者、ニューヨーク市立大学バルーク校教授。数理論理学の研究者。1981年に、グッドスタインの定理にまつわる研究によって有名になった。ケンブリッジ大学卒業後、そこで修士号取得。

ハスケル・ブルックス・カリー(Haskell Brooks Curry、1900年9月12日 - 1982年9月1日)は、アメリカの数学者、論理学者。

スティーヴン・コール・クリーネ(Stephen Cole Kleene, 1909年1月5日 - 1994年1月25日)は、アメリカの数学者。ウィスコンシン大学マディソン校に勤め、その業績は計算機科学の理論的な基礎を築くのに貢献した。