プログラミング言語研究者一覧

以下は、プログラミング言語の理論、設計、実装、および関連分野の研究者のリストです。

• マルティン・アバディは、プログラミング言語Baby Modula-3と、（ルカ・カルデッリとの共著）著書『A Theory of Objects 』で知られています。
• サムソン・アブラムスキーは、遅延ラムダ計算と並行性理論の分野に貢献し、6巻からなる『コンピュータサイエンスにおける論理学ハンドブック』の共同編集者でもある。
• Z記法とBメソッドの父であるジャン＝レイモン・アブリアルは、コンピュータプログラムおよびコンピュータベースのシステム全般の明確な仕様記述と洗練を目指した。
• ヴィクラム・アドヴェ氏、 LLVM （コンパイラおよびツールチェーン技術のセット）で2012年ACMソフトウェアシステム賞を受賞
• グル・アガは、並行プログラミングと形式手法、特にアクターモデルに関する研究で、2018年にACMフェローに選出された。
• AWKのAであるアルフレッド・アホは、プログラミング言語の実装の基礎となるアルゴリズムと理論、そしてこれらの成果を影響力のある書籍にまとめた功績により、 2020年のチューリング賞を受賞しました。
• フランシス・アレンは、コンパイラ技術の最適化に関する理論と実践への先駆的な貢献により、 2006年のチューリング賞を受賞しました。
• アンドリュー・アペルは、コンパイラに関する著書『Modern Compiler Implementation in ML』（ISBN）で特に有名である。 0-521-58274-1）シリーズ、およびCompiling With Continuations（ISBN 0-521-41695-7）
• クリストフ・R・アプト著「プログラミング言語としての論理の使用」
• ブルース・アーデンは、 IBM 650用のGAT ^{[ 1 ]}とMADという 2 つのコンパイラを共同開発した。
• アルヴィンド、アルヴィンド・ミタルを参照
• レナート・オーガストソン、言語（Lazy ML、Cayenne）、コンパイラ（HBC Haskell、並列Haskellフロントエンド、Bluespec SystemVerilog早期版）

• ラルフ＝ヨハン・バックは、段階的改良を用いたプログラムの形式的開発に用いられる改良計算を考案した。
• ローランド・バックハウスは、プログラム構築の数学とアルゴリズム問題解決に関する研究を行い、『プログラミング言語の構文』、『プログラム構築と検証』などの著書を執筆している。
• ジョン・バッカスは、実用的な高水準プログラミングシステムの設計への深く影響力のある永続的な貢献、特にFORTRANに関する研究、そしてプログラミング言語の仕様記述のための形式的手続きに関する画期的な出版物に対して、1977年のチューリング賞を受賞した。
• ジョージ・N・ベアードは、海軍のCOBOLコンパイラ検証システムの開発と実装により、1974年にグレース・マレー・ホッパー賞を受賞した。
• Lars Bak は、ポインタセーフなオブジェクト指向における先駆的な業績と、Beta、Self、Strongtalk、Java Hotspotなどの実装を主導した功績により、 2018 年 AITO Dahl–Nygaard 賞を受賞しました。また、 V8 JavaScriptでACM SIGPLAN 2016 PL ソフトウェア賞^{[ 2 ]も受賞しています。}
• アンリ・バル、分散システムのためのプログラミング言語、例：Orca ^{[ 3 ]}
• Friedrich L. Bauer は、式評価のスタック法を提案しました。ALGOL 60委員会のメンバーです。こちらも参照してください^{[ 4 ]}
• テスト駆動開発（TDD）の主要提唱者であるケント・ベックは、ソフトウェア設計パターンを先駆的に開発し、 Java用のJUnitを共同執筆した。
• ジェフ・ベザンソンは、Julia言語の共同開発により、 2019年JHウィルキンソン数値ソフトウェア賞を受賞しました。
• ディネス・ビョルナー、ウィーン開発手法（VDM）、Raise仕様言語
• ダニエル・ボブロウ、1992年ACMソフトウェアシステム賞、 InterlispというIDEで受賞
• コラード・ベームは、ベーム言語を定義し、最初のメタ循環評価器を開発し、構造化プログラム定理に貢献した。
• 統一モデリング言語（UML）の開発者、グラディ・ブーチ
• キャスリーン・ブースは、最初のアセンブリ言語を設計・開発した。
• Stephen R. Bourne は、ALGOL 68Cを開発し、 IFIP のアルゴリズム言語と計算に関するワーキンググループ 2.1 のメンバーです。
• ギラッド・ブラチャは、ミックスイン、Javaジェネリクス、ストロングトーク、ニュースピークなど、オブジェクト指向に関連する多くのトピックに関する優れた業績により、2017年AITOダール・ナイガード賞を受賞しました。
• ラリー・ブリード、1973年グレース・マレー・ホッパー賞受賞（ APL \360の設計と実装に対して）
• ウォルター・ブライト、 Dのデザイナー
• Per Brinch Hansen (姓は「Brinch Hansen」) は、IEEE Computer Society 2002 Computer Pioneer Award for ... Concurrent Pascal を受賞しました。
• キム・ブルースは、プログラミング言語の理論と設計全般、特にオブジェクト指向に関する2021年AITOダール・ナイガード賞を受賞しました^{[ 5 ]。}
• マーガレット・バーネット、ビジュアルプログラミング言語への先駆的な貢献
• ロッド・バーストール、言語COWSEL (POP-1 に改名)、POP-2、NPL、Hope、ACM SIGPLAN 2009 PL 功績賞^{[ 6 ]}
• リチャード・バートンは、Interlispと呼ばれるIDEで1992年のACMソフトウェアシステム賞を受賞した。

• ルカ・カルデッリは、型理論と操作的意味論の研究を行い、Modula-3とポリフォニックC#の開発に貢献し、ML初のコンパイラであり、2007年AITOダール・ナイガード賞、「POPL 2000最も影響力のある論文賞」を受賞しました。
• クレイグ・チェンバースは、 Cecilの設計とオブジェクト指向言語の実装に使用されるコンパイラ技術に関する研究で、2011年AITOダール・ナイガード賞を受賞しました。
• ジョン・チェンバースは、プログラミング言語Sで1998年のACMソフトウェアシステム賞を受賞しました。
• K. Mani Chandy は、 UNITY言語を含む並列プログラミング言語の検証に貢献した。
• アロンゾ・チャーチ、ラムダ計算；コンピュータ科学の創始者の一人とみなされている
• ジョン・コックは、コンパイラの設計と理論における多大な貢献により1987年にチューリング賞を受賞し、 CYK構文解析アルゴリズムを共同開発した。
• Prologの作者、アラン・コルメラウアー
• リチャード・W・コンウェイ氏には、入門言語であるCORCとCUPL、および学生向けの方言であるPL/Cの開発、そしてコンパイルされたすべてのプログラムがエラーを起こさないよう広範なエラー訂正を行った功績に対して感謝します。
• AppleScriptのチーフアーキテクトであるWilliam Cook は、オブジェクト指向プログラミングの理論と実践への貢献により、2014 年に AITO Dahl–Nygaard 賞を受賞しました^{[ 5 ]}
• キース・クーパーは、プログラミング言語、コンパイラ、最適化、静的解析に関する研究を行っている。
• ティエリー・コカンは、証明支援システムCoq（後にRocqに改名）で、ACM SIGPLAN 2013 PLソフトウェア賞^{[ 2 ]}および2015 ACMソフトウェアシステム賞を受賞しました。
• パトリック・クーゾー、抽象解釈の共同発明によるプログラミング言語への貢献に対して、ACM SIGPLAN 2013 PL Achievement Award ^{[ 6 ]}
• ラディア・クーゾー、抽象解釈の共同発明によるプログラミング言語への貢献に対して、ACM SIGPLAN 2013 PL Achievement Award ^{[ 6 ]}
• TXLソース変換言語で知られるジェームズ・コーディは、ソフトウェア分析および変換タスクをサポートするために設計された、パーサーベースのフレームワークおよび関数型プログラミング言語である。

• オーレ＝ヨハン・ダールは、プログラミング言語Simula I と 67 の設計を通じてオブジェクト指向プログラミングの出現に不可欠なアイデアに対して2001 年のチューリング賞を受賞しました。
• オリヴィエ・ダンヴィは、プログラミング言語、部分評価、継続を専門としている。
• ジョン・ダーリントンは、 NPLやHope+を含むプログラム変換と関数型プログラミングに関する研究を行っている。
• L. Peter Deutsch 、 TRACの最初の実装（ PDP-1上）、最初のREPL 、対話型プログラム検証器に関する博士論文、Interlispと呼ばれるIDEで1992年ACMソフトウェアシステム賞を受賞
• エドガー・W・ダイクストラ、最初のALGOL 60コンパイラ、最弱の前提条件、プログラミング言語開発への基礎的貢献により1972年チューリング賞受賞
• OCamlの共同開発者であり実装者、特にガベージコレクターの開発者であるダミアン・ドリゲス
• ソフィア・ドロソプーロウ、プログラミング言語の形式手法、 Javaの健全性の証明

• COBOLの創始者の一人であるウィム・エビンクハイゼンは、現在のCOBOL標準の数十の部分を設計し、書き直した。
• アラン・エデルマンは、2019年のシドニー・ファーンバック賞を受賞しました。受賞理由は、 Juliaプログラミング言語への貢献です。
• JavaScriptのデザイナー、ブレンダン・アイヒ
• アンドレイ・エルショフ、「アンドレイ・エルショフ」を参照

• Matthias Felleisen 、 RacketでACM SIGPLAN 2018 PL ソフトウェア賞^{[ 2 ]}、ACM SIGPLAN 2012 PL 功績賞^{[ 6 ]}
• Jeanne Ferrante は、プログラム依存グラフを開発し、ACM SIGPLAN 2006 PL 功績賞を受賞しました^{[ 6 ]}
• Robby Findler 、ソフトウェア契約の言語学に関する論文、 Racketに対するACM SIGPLAN 2018 PLソフトウェア賞^{[ 2 ]} 、意味論エンジニアのためのワークベンチであるRedexの設計/実装
• ジュリア言語の実装における中心メンバーであるケノ・フィッシャー
• マシュー・フラット氏、 RacketでACM SIGPLAN 2018 PLソフトウェア賞^{[ 2 ]を受賞}
• ロバート・W・フロイドは、1978年にチューリング賞を受賞し、構文解析理論、プログラミング言語の意味論、自動プログラム検証、自動プログラム合成、アルゴリズム解析など、コンピュータ科学のいくつかの重要な分野の創設に貢献した。
• ロバート・フランス氏は、オブジェクト指向モデリング表記法に形式意味論を追加する研究で、2014年AITOダール・ナイガード賞を受賞した。
• ダニエル・P・フリードマンは、遅延プログラミングに関する影響力のある論文を発表し、プログラミング言語を定義するためのマクロを探求し、 『プログラミング言語の基礎』の筆頭著者でもある。
• 二村義彦、部分評価、特に二村投影法

• リチャード・P・ガブリエルは、 Lisp、特にCommon Lispに関する業績に対して、プログラミング言語とソフトウェア設計における革新性に対して2004年のACM-AAAIアレン・ニューウェル賞^{[ 7 ]を受賞した。}
• バーナード・ギャラーは、 MADを含むコンピュータ言語の開発に携わった。
• Erich Gamma は、 JUnitソフトウェアテストフレームワークを共同執筆し、 Gang of Fourの 1 人であり、2006 年 AITO Dahl–Nygaard 賞を、彼らの著書Design Patterns: ...で受賞し、ACM SIGPLAN 2005 PL Achievement Award ^{[ 6 ]}を受賞しました。
• チャールズ・ゲシュケは、 『最適化コンパイラの設計』の共著者であり、1989年にPostScriptでACMソフトウェアシステム賞を受賞しました。
• ジェレミー・ギボンズ^{[ 8 ]は} 、ジェネリックプログラミングと関数型プログラミングを専門とし、アルゴリズム言語と計算に関するIFIPワーキンググループ2.1のメンバーであり、 ALGOL 60とALGOL 68をサポートおよび保守している。
• シーモア・ギンズバーグ、形式言語と抽象言語族に関する基礎的な研究
• アデル・ゴールドバーグ、1987年ACMソフトウェアシステム賞（ Smalltalk部門）
• Concurrent Haskellの共同設計者であり、モバイルコードに関する推論のためのアンビエント計算の共同発明者であるアンドリュー・ゴードンは、 SecPALを設計した。
• ジェームズ・ゴスリング、2002年ACMソフトウェアシステム賞（Java部門）
• ロバート・グラハムは、 IBM 650用のGAT ^{[ 1 ]}とMADという 2 つのコンパイラを共同開発した。
• スーザン・グラハム、2009年IEEEジョン・フォン・ノイマン・メダル「PL設計と実装への貢献」、NAE会員^{[ 9 ]}、ACM SIGPLAN 2000 PL功績賞^{[ 6 ]}
• コーデル・グリーンは、論理プログラミング分野の理論的基礎を確立した功績により、1985年にグレース・マレー・ホッパー賞を受賞した。
• シーラ・グライバッハ、文法理論、グライバッハ標準形
• David Gries は、コンパイラの作成に関する最初のテキスト、^{[ 10 ] [ 11 ]}プログラミング言語構成要素のセマンティクスへの貢献、例えば干渉の自由と^{[ 12 ]}
• ロバート・グリーゼマー、 Goの共同設計者
• SNOBOL、SL5、Iconのデザイナー、ラルフ・グリスウォルド
• ユルク・グートクネヒト（言語Oberonの共同開発者、言語Zonnonの開発者）
• ジョン・ガッタッグは、形式仕様記述言語であるLarchファミリーおよびLarch Prover（LP）の共同開発者である。
• ALGOL 68Cの共著者、マイケル・ガイ

• ニコ・ハーバーマン、 BLISSの共同デザイナー
• ロバート・ハーパー、 Standard MLおよびLF論理フレームワークへの貢献、型理論への基礎的貢献に対するACM SIGPLAN 2021 PL功績賞^{[ 6 ]}
• エリック・ヘーナー著、述語プログラミングのための、仕様記述と洗練のための形式的手法
• アンダース・ヘイルスバーグ、 Turbo Pascalのオリジナル作者、 C#のチーフアーキテクト
• ローリー・ヘンドレンは、オブジェクト指向プログラミング言語とコンパイルの分野に30年以上にわたり継続的かつ重要な貢献をしてきました。
• トーマス・ヘンジンガーは、 「リアクティブ、リアルタイム、およびハイブリッドコンピュータシステムの形式検証と合成の理論と実践における根本的な進歩」により、 2015年ミルナー賞を受賞した。
• モーリス・ハーリヒー、2003年、2012年、2022年ダイクストラ賞受賞（うち1つはトランザクショナルメモリに関する研究に対して）。
• クロジュアの設計者、リッチ・ヒッキー
• トニー・ホーアは、プログラムの正しさを証明するための最初の公理的基礎、通信逐次プロセス（CSP）を提唱し、プログラミング言語の定義と設計への根本的な貢献により1980年のチューリング賞を受賞した。
• Ric Holt、チューリングプログラミング言語、Grok、Euclid、SP/k、S/SLへの貢献
• ウルス・ヘルツレは、オプションで静的型付けをサポートするSmalltalk環境であるStrongtalkを共同開発し、後にGoogle初のエンジニアリング担当副社長となった。
• COBOLの共同設計者であるグレース・ホッパー
• ジム・ホーニングは、プログラミング言語、プログラミング手法、仕様記述に関心を持ち、形式仕様記述のためのLarchアプローチの共同開発者であった。
• スーザン・B・ホーウィッツは、プログラミング言語とソフトウェア工学、特にプログラムスライシングとデータフロー解析に関する研究で知られている。
• ポール・ハダックは、 Haskell言語の設計に関わったことで知られ、Haskellとコンピュータ音楽に関する複数の教科書を執筆している。
• ジェラール・ユエは、証明支援システムCoq（後にRocqに改名）で、ACM SIGPLAN 2013 PLソフトウェア賞^{[ 2 ]}および2015 ACMソフトウェアシステム賞を受賞しました。
• ジョン・ヒューズ、博士論文「プログラミング言語の設計と実装」^{[ 13 ]} 、 QuickCheckソフトウェアライブラリの共同開発者、ソフトウェアテストと関数型プログラミングへの貢献により2018年ACMフェロー
• Roger Hui は、言語Jを共同開発しました。

• ジャン・イチビアは、 LISと呼ばれるシステム実装プログラミング言語の設計者であり、 Adaの初代チーフデザイナーである。
• ロベルト・イエルサリムシィ、 Luaデザイナー
• ダン・インガルス氏、2022年AITOダール・ナイガード賞、およびSmalltalkによる1987年ACMソフトウェアシステム賞
• ケネス・E・アイバーソンは、先駆的な取り組みにより1979年のチューリング賞を受賞し、その結果としてAPLが誕生しました。また、プログラミング言語の理論と実践への貢献も高く評価されています。

• ダニエル・ジャクソンは、Alloyモデリング言語とその関連分析ツールであるAlloy Analyzerの主任設計者であり、『ソフトウェア抽象化：論理、言語、分析』の著者である。
• ALGOL 60コンパイラを開発したヨルン・イェンセンは、名前による呼び出しを利用するイェンセンの装置を発明した。
• ラルフ・ジョンソンは、Gang of Fourの一人であり、著書Design Patterns: ...で2006 年 AITO Dahl–Nygaard 賞を受賞、ACM SIGPLAN 2005 PL Achievement Award ^{[ 6 ]を受賞している。}
• クリフ・ジョーンズ、ウィーン開発法（VDM）、信頼保証—構成的干渉の自由^{[ 14 ]}
• Neil D. Jones 、部分評価に関する研究、ACM SIGPLAN 2014 PL 功績賞^{[ 6 ]}

• ジル・カーン、コルーチンとプロセスのネットワーク^{[ 15 ]}
• スモールトークの共同開発者、テッド・ケーラー
• ロナルド・カプランは、Interlispと呼ばれるIDEで1992年のACMソフトウェアシステム賞を受賞した。
• ステファン・カルピンスキーは、Juliaプログラミング言語の共同開発により、 2019年JHウィルキンソン数値ソフトウェア賞を受賞しました。
• アラン・ケイは、現代のオブジェクト指向プログラミング言語の根幹となる多くのアイデアを先駆的に提唱し、Smalltalkを開発したチームを率いた功績により、2003年にチューリング賞を受賞しました。
• ジョン・ケリーは、先駆的なデータフロー言語であるBLODI（ブロックダイアグラム）を共同開発しました。データフロープログラミングを参照してください。
• ジョン・G・ケメニーは、最初のBASIC言語の共同設計者であり開発者である。
• Ken Kennedy、コンパイラ最適化への貢献に対するMcDowell賞、ACM SIGPLAN 1999 PL Achievement Award ^{[ 6 ]}
• Brian Kernighan 、 AWKとAMPLの共同設計者、「The C Programming Language」の共著者、「小さな言語」の推進者および設計者: Eqn、Pic、Grap
• グレゴール・キザレスは、 CLOSとMOPに関する研究、およびアスペクト指向とAspectJの先駆者としての功績により、2012年AITOダール・ニーガード賞を受賞しました。
• コンピュータグラフィックスのパイオニアであるケン・ノールトンは、映画制作のためのBEFLIXと、リスト処理に後置フィールド選択を導入したL6 ^{[ 16 ]を開発した。}
• ドナルド・クヌースは、プログラミング言語の設計などへの多大な貢献により、 1974年にチューリング賞を受賞しました。
• 『Cの罠と落とし穴』および「Koenig検索」の著者、Andrew Koenig
• Michael Kölling 、 BlueJおよびGreenfootの開発
• キース・コスターは、 ALGOL 68の共同設計者であり、接辞文法の考案者であり、オリジナルのコンパイラ記述言語（CDL）の考案者です。
• ロバート・コワルスキーは、論理プログラミングに関する先駆的な研究で2011年IJCAI研究優秀賞を受賞しました。彼は、論理プログラミング言語Prologの実装で使用されるSLD解決を導入しました。
• 動的論理の創始者の一人であるデクスター・コーゼンは、コンピュータプログラムの特性を符号化できる様相論理の拡張である動的論理の創始者の一人である。
• Shriram Krishnamurthi はFlapjaxを開発し、 RacketでACM SIGPLAN 2018 PL ソフトウェア賞^{[ 2 ]}を受賞、2012 ACM SIGPLAN Robin Milner 若手研究者賞^{[ 17 ]を受賞しました。}
• David Kuck氏は、 Parafrase（1977年）^{[ 18 ]}やKAP Toolsなどの革新的な並列コンパイラ技術で、 IEEEコンピュータ協会2011年コンピュータパイオニア賞を受賞しました。
• トーマス・E・カーツは、最初のBASIC言語の共同設計者であり開発者である。

• モニカ・S・ラムは、コンパイラやプログラム解析など幅広いトピックに貢献し、2001年にACM最も影響力のあるPLDI論文賞を受賞しました^{[ 19 ] [ 20 ]。}
• 形式仕様言語TLA+の開発者であり、その他多くの功績を持つレスリー・ランポート氏が、2013年のチューリング賞を受賞しました。
• ピーター・ランディンはラムダ計算を用いてISWIMをモデル化し、その過程でオフサイドルールを定義し、構文糖衣という用語を作り出した。ALGOLの定義にも積極的に関わった。
• リチャード・H・ラスウェルは、APL \360の設計と実装により、 1973年にグレース・マレー・ホッパー賞を受賞しました。
• Swiftの設計者であるクリス・ラットナーは、ACM SIGPLAN 2010 PLソフトウェア賞^{[ 2 ]}と、コンパイラおよびツールチェーン技術のセットであるLLVMで2012 ACMソフトウェアシステム賞を受賞している。
• ジョン・ローンチベリーは、遅延評価型関数言語の提唱者であり、 Haskellの共同設計者でもあり、Cryptolというドメイン固有言語の開発を指揮した。
• ハロルド・ローソンは、ポインタ変数を発明し、この概念をPL/Iに導入した功績により、IEEEコンピュータ協会2000年コンピュータパイオニア賞を受賞した。
• ダグ・リーは、オブジェクト指向技術のたゆまぬ提唱、Javaにおける並行プログラミングへの貢献、そして…に対して、2010年AITOダール・ナイガード賞を受賞しました。
• ピーター・リー、博士論文：高レベルのセマンティック記述からの現実的なコンパイラの自動生成。2022年現在、マイクロソフト社研究・インキュベーション担当コーポレートバイスプレジデント。
• PHPの父、ラスムス・ラードルフ
• ザビエル・ルロワ、OCamlを含むプログラミングにおける卓越した業績に対する2016年ミルナー賞、ACM SIGPLAN 2021 PLソフトウェア賞^{[ 2 ]}
• 『Algol 68の改訂レポート』の共同編集者であるCharles H. Lindsey は、Algol 68 のサブセットであるALGOL 68S を設計および実装し、 ^{[ 21 ]}で ALGOL 68 の完全な歴史を執筆しました。
• バーバラ・リスコフは、プログラミング言語とシステム設計の実践的および理論的基盤への貢献により、 2008年のチューリング賞を受賞しました。
• Yanhong Annie Liu、増分計算に関する博士論文^{[ 22 ]} 、体系的なプログラム設計に関する書籍^{[ 23 ]}
• ピーター・ルーカス、 PL/Iの正式な定義、ウィーン開発手法（VDM）、関数型プログラミング言語FLに関する研究
• デビッド・ラックハム、 Lispへの貢献とPascalの検証。Adaコンパイラの共同創設者。

• サイモン・マーロウ氏、グラスゴーHaskellコンパイラでACM SIGPLAN 2011 PLソフトウェア賞^{[ 2 ]を受賞}
• ラリー・マジンターは、InterlispというIDEで1992年のACMソフトウェアシステム賞を受賞した。
• まつもとゆきひろ、 Rubyデザイナー
• デビッド・メイ、 Occamのリードデザイナー
• コナー・マクブライドは、型理論と関数型プログラミングを研究している。ジェームズ・マッキンナと共にプログラミング言語Epigramを共同開発した。IFIPワーキンググループ2.1 （アルゴリズム言語と計算）のメンバーである。
• ジョン・マッカーシー、Lisp系プログラミング言語、1971年チューリング賞
• マクロプロセッサとプログラミング言語の拡張性に関する先駆的な研究者であるダグラス・マキロイは、 PL/I、SNOBOL、ALTRAN、TMG、C++の設計に貢献した。
• キャスリン・S・マッキンリーは、コンパイラ、ランタイムシステム、コンピュータアーキテクチャの研究を行い、Hoard C/C++メモリ割り当てツールを発表しました。また、 Jikes RVMはACM SIGPLAN 2012 PLソフトウェア賞を受賞しました^{[ 2 ]。}
• ランバート・メーテンス、 Pythonの偶然の前身であるABCの共同設計者。バード・メーテンス形式論の共同設計者。改訂版ALGOL 68レポートの共同編集者。
• エリック・マイヤーは、関数型プログラミング（特にHaskell）、コンパイラの実装、構文解析、プログラミング言語設計の研究に取り組んでいる。
• エッフェル塔の設計者であり、契約による設計を提唱したベルトラン・メイヤーは、2005年にAITOダール＝ニーガード賞を受賞した。
• ハーラン・ミルズ、構造化プログラミングにおけるIEEEコンピュータ協会1994年コンピュータパイオニア賞
• ロビン・ミルナーは、1991年にチューリング賞を受賞しました。受賞理由は、以下の3つの明確かつ完全な業績によるものです。(1)...; (2) ML、型安全な例外処理メカニズムとともに多相型推論を組み込んだ最初の言語; (3) CCS、...
• Jayadev Misra は、 UNITYや「Orc」などの言語を含む、並行プログラミングへの貢献をしています。
• ジェームズ・G・ミッチェル、 WATFORコンパイラ、 MesaおよびEuclid言語に関する研究、博士論文「柔軟かつ効率的な対話型プログラミングシステムの設計と構築」
• ジョン・C・ミッチェルは存在型と抽象データ型の関連性を探求し、プログラミング言語の基盤となる型理論の発展において極めて重要な役割を果たした。
• Arvind Mithal 氏による、並列言語IdおよびpH、並列マシン上でのコンパイル、および言語Bluespec SystemVerilog (BSV)に関する記事。
• カルビン・ムーアーズ、言語TRAC
• チャールズ・H・ムーア（チャック）は、第四言語を
• ロジャー・D・ムーアはALGOL 60を実装し、APL 360の設計と実装で1973年のグレース・マレー・ホッパー賞を受賞しました。
• キャロル・モーガンは、プログラム開発における洗練計算アプローチの提唱者として知られ、 『仕様からのプログラミング』という本を執筆した。
• ジェームズ・H・モリスは、プログラミング言語の2つの基本原理であるモジュール間保護と遅延評価を開発し、Cedarプログラミング環境プロジェクトを主導した。
• グレッグ・モリセットは、型システム、証明付きコード、証明可能なセキュリティシステムに取り組み、型システムの概念を低レベルプログラミングに応用したサイクロンを開発し、POPL 1998 最優秀論文賞^{[ 24 ]を受賞した。}
• J. エリオット・B・モスは、ガベージコレクションとマルチプロセッサ同期の分野で活躍し、トランザクショナルメモリの共同発明者でもある。
• プログラミング言語の研究者であるアラン・マイクロフトは、ノークロフトCコンパイラを共同開発した。
• ブラッド・A・マイヤーズは、ナチュラルプログラミングプロジェクトのために、プログラミング言語に焦点を当て、プログラミングをより自然にすることで、より簡単で正確なものにしようとしています。^{[ 25 ]}

• ピーター・ナウアーは、プログラミング言語設計とALGOL 60の定義、コンパイラ設計、そして...への根本的な貢献により、2005年のチューリング賞を受賞しました。
• ジョージ・ネクラは、証明付きコードとレガシーコードの型安全改修に関する論文で、POPL 1997年および2002年最優秀論文賞^{[ 24 ]を受賞した。}
• ブルース・ネルソンは、リモートプロシージャコールの概念で1994年のACMソフトウェアシステム賞を受賞しました。
• グレッグ・ネルソン、博士論文「プログラム検証の手法」 、 Modula-3の共同設計者、定理証明とプログラム検証への先駆的な貢献により2013年ハーブランド賞受賞
• オスカー・ニールストラス氏、2013年AITOダール・ニーガード賞受賞。受賞理由は、ソフトウェア進化をサポートするプログラミング言語とメカニズムに基づき、変化する要件に対してシステムをより柔軟にするための貢献である。
• モーリス・ニヴァットは、形式言語とプログラミング言語の意味論の研究を行い、2002年にEATCS賞を受賞しました。
• ジェームズ・ノーブルは、オブジェクト指向に関する世界有数の業績により、2016年にAITOダール・ナイガード賞を受賞しました。プログラミング言語のための斬新な型システムに関する先駆的な研究を行いました。
• クリステン・ナイガードは、Simula I と 67の設計を通じてオブジェクト指向プログラミングの出現に不可欠なアイデアで2001 年のチューリング賞を受賞しました。

• Martin Odersky はjavacの基礎を提供し、 Generics in Javaを共同開発し、 ScalaでACM SIGPLAN 2019 PL ソフトウェア賞^{[ 2 ]を受賞した。}
• 分離論理で知られるピーター・オハーンは、静的プログラム解析ユーティリティであるInfer Static Analyzerを共同開発し、2001年に最も影響力のある論文賞を受賞しました^{[ 24 ]。}
• ジョン・オースターハウト、1997年ACMソフトウェアシステム賞（ Tcl / Tk部門）
• スーザン・オウィッキ、意味論への貢献、例えば、干渉の自由と^{[ 26 ]}

• クリシュナ・パレム氏、2008年マクドウェル賞受賞。組み込みコンピューティングのアルゴリズム、コンパイル、アーキテクチャの基盤への先駆的な貢献に対して。
• デイビッド・パークは、 Lispの最初の実装に携わり、公平性、プログラムスキーマ、並行コンピューティングにおける双模倣性といった分野の権威である。
• デビッド・パルナスは、今日ではオブジェクト指向プログラミングの重要な要素となっている情報隠蔽を開発した。
• Christine Paulin-Mohring は、ACM SIGPLAN 2013 PL ソフトウェア賞^{[ 2 ]}およびCoq (後にRocq に改名) 証明支援システムで2015 ACM ソフトウェア システム賞を受賞しました。
• マンフレート・パウル、学位論文：形式言語の構造について（1962年、ドイツ語）；アルコー・イリノイ社ALGOL 60コンパイラの共同開発者
• ローレンス・ポールソンは、著書『ML for the Working Programmer』と、 1986年に発表した対話型定理証明器Isabelleで知られている。
• スティーブン・ペンバートン、偶然にもPythonの前身となったABCの共同設計者。ハイパーテキストマークアップ言語（ HTML）の貢献著者。
• アラン・パーリス、1966年チューリング賞初代受賞者、…およびコンパイラ構築、ALGOL 58
• カール・アダム・ペトリは、ペトリネット理論、そして並列分散コンピューティングの功績により、IEEEコンピュータ協会から2008年コンピュータパイオニア賞を受賞しました。
• サイモン・ペイトン・ジョーンズ氏、関数型プログラミング言語と遅延評価に関する業績に対して。Haskellの共同設計者。グラスゴーHaskellコンパイラ（GHC）で2011年プログラミング言語ソフトウェア賞を受賞。
• ベンジャミン・C・ピアース氏、プログラミング言語とその型システムの理論と実践への貢献に対して、型システムに関する著書『型とプログラミング言語』の著者
• 『Newsqueak』、『Limbo』、『Go』の共同デザイナー、ロブ・パイク
• ケシャブ・K・ピンガリ氏、高性能コンパイラとグラフコンピューティングへの貢献により、 2023年コンピュータ協会チャールズ・バベッジ賞を受賞
• ゴードン・プロトキン、構造的操作意味論（SOS）および表示的意味論に対して。2012年ミルナー賞、ACM SIGPLAN 2010 PL功績賞^{[ 6 ]}
• アミール・プヌエリは、計算機科学に時間論理を導入した画期的な業績と、プログラムおよびシステム検証への卓越した貢献により、1996年にチューリング賞を受賞した。
• Robin Popplestone、COWSEL（後にPOP-1に改名）、POP-2、POP-11言語、Poplog IDE、Freddy IIロボット
• シセリー・ポプルウェル、マンチェスター・マーク1のソフトウェア共同設計者
• ヴォーン・プラットは、プログラムの形式検証に用いられる動的論理と、 Lispの構文CGOLに用いられるプラット構文解析を開発した。
• 静的コード解析ツールFindBugsの共同開発者であり、 Javaメモリモデルの開発に影響を与えたウィリアム・ピュー

• ジョージ・ラディン、 PL/I設計の第一人者
• ブライアン・ランデルは1964年にAlgol 60 Whetstoneコンパイラを実装した^{[ 27 ]。}
• ジョン・ライフ、並列アプリケーション開発のためのProteus言語とシステム^{[ 28 ]}
• Thomas W. Reps は、初期の (1978 年) IDE であるCornell Program Synthesizer ^{[ 29 ]}を共同開発し、CodeSonarを開発したGrammaTechを共同設立し、ACM SIGPLAN 2017 PL Achievement Award ^{[ 6 ]を受賞しました。}
• ミッチェル・レスニックは、Scratchと呼ばれるビジュアルプログラミング言語を開発した。
• ジョン・C・レイノルズは、多相ラムダ計算（システムF）を発明し、継続に関する初期の研究を明確化し、非関数化を導入し、分離論理に取り組み、ACM SIGPLAN 2003 PL 功績賞を受賞しました^{[ 6 ]}
• マーティン・リチャーズは、 BCPLの設計と実装により、IEEEコンピュータ協会2003年コンピュータパイオニア賞を受賞しました。
• Cの設計者、デニス・リッチー、1983年チューリング賞受賞
• 数値制御を駆動するためのプログラミング言語APTの父であるダグラス・T・ロスは、 ALGOL Xを設計および実装した。
• Pythonの設計者、グイド・ファン・ロッサム
• Barbara G. Ryderは Java と Javascript に関する広範な研究を行っています。例: ^{[ 30 ] [ 31 ]}

• プログラミング言語用コンパイラとプッシュポップスタックアルゴリズムのパイオニアであるクラウス・サメルソン、 Algol 60 委員会、 ^{[ 4 ]}も参照。
• COBOLの開発者の一人であるジャン・サメットは、FORMACを開発した。
• カール・サッセンラート、 Rebolの設計者兼実装者
• フレッド・B・シュナイダーは、 （安全性とは対照的に）活性を定義し、並行および分散プログラムを開発するためのアサーション手法に貢献した^{[ 32 ]。}
• SETLとArtspeakのデザイナー、ジェイコブ・T・シュワルツ
• イリヤ・セルゲイは、言語Scilla ^{[ 33 ]}と「型システムの操作的側面」に関する研究で貢献した。
• ラヴィ・セティは、『ドラゴンブック』の共著者として最もよく知られており、コンパイラ技術、プログラミング言語への貢献により1996年にACMフェローに選出された。
• Viral B. Shah は、数値計算ソフトウェアに関する2019年JH Wilkinson賞を、Julia言語の共同開発の功績により受賞した。
• ブライアン・カントウェル・スミスは、プログラミング言語におけるリフレクティブ・プログラミングの概念を導入した。
• デイビッド・キャンフィールド・スミスは、例によるプログラミングの概念に基づいたビジュアルプログラミング言語「Stagecast Creator」の共同開発者である。
• メアリー・ルー・ソッファ、コンパイラとプログラム最適化などの研究、2012年ケン・ケネディ賞受賞
• リチャード・ストールマン氏、GNUコンパイラコレクション（GCC）で2015年ACMソフトウェアシステム賞を受賞
• Schemeの共同設計者でありFortressの設計者であるGuy L. Steele, Jr.は、ACM SIGPLAN 1997 PL Achievement Awardを受賞しました^{[ 6 ]。}
• アレクサンダー・ステパノフは、ジェネリックプログラミングの提唱者であり、C++標準テンプレートライブラリの主要設計者兼実装者である。
• CPL（プログラミング言語）の共同設計者であるクリストファー・ストラッチーは、表示的意味論を考案した。
• ビャルネ・ストロヴストルップは、 C++の設計、実装、進化に対する2015年AITOダール・ニーガード賞と、IEEEコンピュータ協会2018年コンピュータパイオニア賞を受賞しました。
• Schemeの共同設計者であるジェラルド・ジェイ・サスマン
• バート・サザーランドは、グラフィカルデータを操作するための2次元プログラミング言語を開発し^{[ 34 ]} 、 SmalltalkとJavaの開発にも参加した。
• F#の生みの親、ドン・サイム

• ティム・タイテルバウムは、初期の（1978年の）IDEであるコーネル・プログラム・シンセサイザー^{[ 29 ]}を共同開発し、C、C++、C#、Javaの静的解析を実行するCodeSonarを開発したGrammaTechを共同設立した。
• ウォーレン・タイテルマンは、BBN LISPの開発で、InterlispというIDEで1992年のACMソフトウェアシステム賞を受賞しました。
• ケン・トンプソン、Bの設計者、 Goの共同設計者、1983年チューリング賞受賞
• サイモン・トンプソン、関数型プログラミング研究、教科書執筆。Cardanoドメイン固有言語の設計者：Marlowe
• Mads Tofte 、標準MLの定義の共著者、領域推論、POPL 1994 最も影響力のある論文賞^{[ 24 ]}
• エミナ・トルラクは、自動検証における先駆的な研究に対して2021年ACM SIGPLANロビン・ミルナー若手研究者賞を受賞しました^{[ 17 ]。}
• アラン・チューリングはチューリングマシンを開発したことで知られ、その業績は非常に重要であるため、「計算機科学のノーベル賞」とも呼ばれるチューリング賞は彼の名を冠している。
• David A. Turner はSASL、KRC、およびMirandaを設計および実装し、 IFIP のアルゴリズム言語と計算に関するワーキンググループ 2.1のメンバーです。

• ジェフリー・ウルマンは、プログラミング言語の実装の基礎となるアルゴリズムと理論、そしてこれらの成果を統合した功績により、2020年のチューリング賞を受賞し、非常に影響力のある著書を多数執筆している。
• 2009年AITOダール＝ナイガード賞受賞者のデイビッド・ウンガー氏のSelfに関する研究は、Javaの産業界における普及を可能にした高度な適応型コンパイル技術を導入することで、この分野に大きな影響を与えた。

• Martin Vechev は、強力な静的型システムを備えた量子コンピューティング向けの初の高レベル PL である Silq を開発し、2019 年の ACM SIGPLAN Robin Milner Young Researcher Award を受賞しました^{[ 17 ]。}
• ジョン・ヴリシデスは、Gang of Fourの一人であり、2006 年 AITO Dahl–Nygaard 賞を、彼らの著書Design Patterns: ...で受賞し、ACM SIGPLAN 2005 PL Achievement Award ^{[ 6 ]を受賞しました。}
• ヴィクトル・A・ヴィソツキーは、先駆的なデータフロー言語であるBLODI（ブロック図）を共同開発しました。データフロープログラミングを参照してください。

• 和田英一氏は、 ALGOL 60の後継として提案されたALGOL Nを設計したチームの一員でしたが、ALGOL 68には採用されませんでした。その後、 IFIPワーキンググループ2.1のメンバーとなりました。
• ハスケルの共同設計者であり、 Java 5.0へのジェネリック型の追加に関与したフィリップ・ワドラーは、POPL 1993 最優秀論文賞を受賞しました^{[ 24 ]}
• Perlの設計者、ラリー・ウォール
• ミッチェル・ワンドはプログラミング言語のセマンティクスを研究しており、 『プログラミング言語の基礎』の共著者である。
• ジョン・ワーノック、1989年ACMソフトウェアシステム賞（ PostScript部門）
• デビッド・ウォーレンは、Prolog用の最初のコンパイラを作成し、Prologコンパイラの事実上の標準ターゲットであるウォーレン抽象マシン（WAM）を設計した。
• 静的単一代入形式を共同発明したマーク・ウェグマンは、ACM SIGPLAN 2006 PL Achievement Awardを受賞した^{[ 6 ]。}
• ピーター・ウェグナー、ルカ・カルデッリとのOOプログラミングにおける先駆的な研究:型の理解について^{[ 35 ]}
• Peter J. Weinberger は、AWK プログラミング言語と Fortran コンパイラf77に貢献した。
• Stephanie Weirich の型推論に関する研究は、グラスゴー Haskell コンパイラに組み込まれています。2016 年 ACM SIGPLAN Robin Milner 若手研究者賞^{[ 17 ]}
• デビッド・J・ウィーラーは、アセンブリ言語プログラミングの功績により、IEEEコンピュータ協会から1985年コンピュータパイオニア賞を受賞しました。
• ジェニファー・ウィドムは、トレースベースのネットワーク証明システムに関する博士論文で^{[ 36 ]}
• ALGOL 60およびALGOL 68の設計者であるAdriaan van Wijngaardenは、継続を説明した2 レベルのVan Wijngaarden 文法を開発しました。
• ジャネット・ウィングは、初期の研究で「サブタイピングの行動概念」 [ ^{37 ]を}発表し、マイクロソフトリサーチのコーポレートバイスプレジデント、後にコロンビア大学の研究担当エグゼクティブバイスプレジデントとして、この分野に大きな影響を与えた。
• ニクラウス・ヴィルトは、革新的なコンピュータ言語であるEuler、ALGOL W、Pascal、Modula、Oberonを開発した功績により、1984年にチューリング賞を受賞した。
• スティーブン・ウルフラム、MathematicaおよびWolfram Languageの開発者
• マイク・ウッドガーは、 ALGOL 60やAda ^{[ 38 ]}を含むソフトウェアと言語の設計に影響力のある人物である。
• フィリップ・ウッドワードはCORAL 66を設計し、彼のコンピュータチームはALGOL 68の最初の実装であるALGOL 68-Rを開発した。
• BLISSの共同設計者であるウィリアム・ウルフは、BLISS用の最適化コンパイラを作成し、コンパイラ技術会社であるTartan, Inc.を共同設立した。

• キャサリン・イェリックは、分割グローバルアドレス空間言語の研究で知られ、 Unified Parallel C の共同開発者でもある。
• Andrey Yershov 、プログラミング言語（ALPHA、BETA、 Rapira）の理論、設計、実装、 ^{[ 39 ]}部分評価
• 米田信夫氏は、 ALGOL 60の後継として提案されたALGOL Nを設計したチームの一員であったが、 ALGOL 68には採用されなかった。また、 IFIPワーキンググループ2.1のメンバーでもある。
• 米澤明則氏は、 「並行オブジェクト指向言語の理論と実践の両方への総合的な貢献」により、2008年AITOダール・ナイガード賞を受賞しました。ABCL /Rの設計者であり、ABCL/Rは最初の並行オブジェクト指向プログラミング言語ABCL/1の反射的サブセットです。

• Marvin Zelkowitz、プログラム開発とデバッグを支援するPL機能、実行可能コードの実行時正しさのテスト^{[ 40 ] [ 41 ]}
• IBMウィーン研究所を運営していたハインツ・ゼマネクは、 PL/Iの正式な定義を策定する上で重要な役割を果たした。
• Jaap A. ZonneveldとEdsger W. Dijkstra が最初のALGOL 60コンパイラを作成しました

• プログラミング言語
• コンピュータ科学者一覧
• プログラマー一覧

• 言語の人々