Loading article…
ロバート・ハーパー | |
|---|---|
 2006年のロバート・ハーパー | |
| 生まれる | ロバート・ウィリアム・ハーパー・ジュニア 1957年7月15日 |
| その他の名前 | ボブ・ハーパー |
| 教育 | |
| 知られている | |
| 受賞歴 |
|
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | |
| 博士課程の学生 |
|
| Webサイト | 翻訳: |
ロバート・ウィリアム・ハーパー・ジュニア（1957年生まれ[2]）は、カーネギーメロン大学のコンピュータサイエンスの教授であり、プログラミング言語の研究に携わっています。カーネギーメロン大学に着任する前は、エディンバラ大学の研究員でした。[3]
キャリア
Harper は、標準 MLプログラミング言語とLF 論理フレームワークの設計に大きく貢献しました。
ハーパーは、プログラミング言語の型システムへの貢献により、2005年にACMフェローに選出されました。2021年には、「型理論の理解と、現代のプログラミング言語の設計、仕様、実装、検証におけるその使用に対する基礎的な貢献」により、ACM SIGPLANプログラミング言語功績賞を受賞しました。[4]
受賞歴
- ハーバート・A・サイモン賞、コンピュータサイエンスにおける優れた教育賞、CMU。[5]
- カーネギーメロン大学アレン・ニューウェル研究優秀賞[6]型指向コンパイルに関する研究に対して[9] (2001)
- 型システムへの貢献により、 ACM フェローに選出されました(2005)
- ACM SIGPLAN 最も影響力のあるPLDI論文賞[10]受賞論文「TIL: ML用の型指向最適化コンパイラ」[11] (2006)
- LICS Test-of-Time賞受賞者[12] 、論文「論理を定義するためのフレームワーク」[13]（2007年）
- ACM SIGPLAN プログラミング言語功績賞、型理論とその使用に対する基礎的貢献に対して。(2021)
書籍
- Robin Milner、Mads Tofte、Robert Harper、David MacQueen。『標準 ML の定義 (改訂版)』MIT Press、1997 年。
- Robert Harper (編集者)。Types in Compilation。Springer -Verlag Lecture Notes in Computer Science、第 2071 巻、2001 年。
- ロバート・ハーパー。プログラミング言語の型システム。ドラフト、2000年。
- Robert Harper.標準 ML でのプログラミング。ワーキング ドラフト、2013 年。
- ロバート・ハーパー。 プログラミング言語の実践的基礎、2007年草稿。第2版：ISBN 1107150302、2016年。
私生活
2003年から2008年にかけて、ハーパーは、同じく司会者でありカーネギーメロン大学コンピュータサイエンス学部の教授であるダニー・スレイターとともに、WRCT -FMで進歩的なトークショー「Left Out」の司会を務めた。
参考文献
- ^ abc 数学系譜プロジェクトのロバート・ハーパー
- ^ Harper, Robert (2016).プログラミング言語の実践的基礎(第 2 版). Cambridge University Press. p. iv.
- ^ LinkedInのRobert Harper
- ^ 「プログラミング言語功績賞」www.sigplan.org . 2022年1月27日閲覧。
- ^ 「SCS Faculty Awards」www.cs.cmu.edu。2002年4月4日時点のオリジナルよりアーカイブ。2024年3月19日閲覧。
- ^ 「アレン・ニューウェル研究優秀賞 – 過去の受賞者」www.cs.cmu.edu。2024年2月5日時点のオリジナルよりアーカイブ。 2024年3月16日閲覧。
- ^ 「型を使用したコンパイル」(PDF) . www.cs.cmu.edu . 2024 年 3 月 16 日閲覧。
- ^ Harper, R. ; Morrisett, G. (1995 年 1 月)。「内包型分析によるポリモーフィズムのコンパイル」。POPL '95 : Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages。カリフォルニア州サンフランシスコ: ACM。pp. 130–141。doi : 10.1145 /199448.199475。ISBN 978-0-89791-692-9。
- ^ この賞の対象となった研究は、ハーパーを共同指導教員としたグレッグ・モリセットの博士論文[7]、モリセットとハーパーの論文[8]、その他いくつかの出版物につながった。
- ^ 「最も影響力のあるPLDI論文賞」www.sigplan.org . 2024年3月16日閲覧。
- ^ Tarditi, D.; Morrisett, G .; Cheng, P.; Harper, R.; Lee, P. (1996 年 5 月). 「TIL: ML 用の型指定最適化コンパイラ」. ACM SIGPLAN Notices . 31 (5): 181–192. doi : 10.1145/249069.231414 .
- ^ 「ACM/IEEE Symposium on Logic in Computer Science」。2024年3月13日時点のオリジナルよりアーカイブ。2024年3月16日閲覧。
- ^ Harper, R. ; Honsell, F.; Plotkin, GD (1987 年 6 月)。「ロジックを定義するためのフレームワーク」。Proc Second Annual IEEE Symp on Logic in Computer Science (LICS 1987)。ニューヨーク州イサカ: IEEE Computer Society Press。pp . 194–204。
外部リンク
- ロバート・ハーパーのホームページ
- 実存的タイプ、ロバート・ハーパーのブログ
- ロバート・ハーパーの xArchiv サイト
- ロバート・ハーパーの Google Scholar ページ
- ロバート・ハーパーの蘭のID