Loading article…
ニール・D・ジョーンズ | |
|---|---|
 | |
| 生まれる | 1941年3月22日 セントラリア、イリノイ州、アメリカ合衆国 |
| 死亡 | 2023年3月27日（82歳） |
| 国籍 | アメリカ人 |
| 市民権 | デンマーク語（1991年以降） |
| 母校 | ウェスタンオンタリオ大学 |
| 知られている | 部分評価、制御フロー解析、サイズ変更終了 |
| 受賞歴 | ダンネブロー勲章(1998)、SIGPLAN プログラミング言語功績賞(2014) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | コペンハーゲン大学 オーフス大学 カンザス 大学 ペンシルベニア 州立大学 ウェスタンオンタリオ大学 |
| 博士課程の指導教員 | アルト・サロマ |
ニール・D・ジョーンズ（1941年3月22日、米国イリノイ州セントラリア- 2023年3月27日、デンマーク、ラングステッド）は、アメリカのコンピュータ科学者である。彼はコペンハーゲン大学のコンピュータサイエンスの名誉教授であった。
彼の業績はプログラミング言語と計算理論の両方に及んだ。プログラミング言語の分野では、特に部分評価に関する研究と、データフロー解析、制御フロー解析[1]、停止解析[2]の分野における先駆的な研究で知られた。計算理論の分野では、対数空間縮小とP完全性[3] の研究の先駆者の一人であった。
ニール・D・ジョーンズは、ダンネブロー騎士団の騎士（1998年より）であり、また、アカデミア・ヨーロッパの会員（1999年より）でもありました。彼は、意味論に基づくコンパイル、特に部分評価、および計算理論、形式モデルとその実用的な実現に対する顕著な貢献により、1998年に計算機協会のフェローに選ばれました。[4]
外部リンク
- ホームページ
- 経歴情報
主な出版物
- Neil D. Jones、Carsten K. Gomard、Peter Sestoft: 部分評価と自動プログラム生成 (1993) 書籍、全文はオンラインで入手可能。
- Neil D. Jones 著『Computability and Complexity from a Programming Perspective』(1997) は MIT Press が発行した書籍で、オンライン テキストは改訂および修正されたバージョンです。
参考文献
- ^ ジョーンズ、ニール D. (1981)、「ラムダ式のフロー分析」、オートマトン、言語、プログラミング、コンピュータサイエンスの講義ノート、第 115 巻、pp. 114–128、doi :10.1007/3-540-10843-2_10、ISBN 978-3-540-10843-6
- ^ Chin Soon Lee、Neil D. Jones、Amir M. Ben-Amram (2001)、「プログラム終了のためのサイズ変更原則」、プログラミング言語の原則、36 (3): 81–92、doi :10.1145/373243.360210
- ^ Neil D. Jones と William T. Laaser (1974)、「決定論的多項式時間に関する完全問題」、計算理論シンポジウム: 40–46、doi :10.1145/800119.803883、S2CID 12251817
- ^ 「Neil D. Jones」。Association for Computing Machinery 。 2017年7月19日閲覧。