Loading article…
モーリス・ハーリヒー | |
|---|---|
| 生まれる | 1954年1月1日 |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 | ブラウン大学 |
モーリス・ピーター・ハーリヒー（1954年1月4日生まれ）は、マルチプロセッサ同期の分野で活躍するアメリカのコンピュータ科学者である。[1] [2] [3]ハーリヒーは、待機なしの同期の理論的基礎、線形化可能なデータ構造、分散コンピューティングへの組み合わせトポロジの応用、ハードウェアおよびソフトウェアのトランザクションメモリなどの分野に貢献してきた。彼はブラウン大学のコンピュータサイエンスのアン・ワン教授であり、1994年から同大学の教員を務めている。[4]
ハーリヒー氏は、線形化可能性、非ブロッキング データ構造、トランザクション メモリに関する並行コンピューティング技術の功績により、2013 年に 米国技術アカデミーの会員に選出されました。
認識
- 2003年ダイクストラ賞[5]
- 2004年ゲーデル賞[6]
- 2005年計算機協会フェロー[ 7]
- 2012年ダイクストラ賞[5]
- 2013 W.ウォレス・マクドウェル賞[8]
- 2013年米国工学アカデミー[9]
- 2014年全米発明家アカデミーフェロー[10]
- 2015年アメリカ芸術科学アカデミー会員[11]
- 2022年ダイクストラ賞[5]
参考文献
- ^ トランザクションメモリ: ロックフリーデータ構造のアーキテクチャサポート。Isca '93。ACM SIGARCH コンピュータアーキテクチャニュース - 特別号: 第 20 回国際コンピュータアーキテクチャシンポジウム (ISCA '93) の議事録。1993 年 5 月。pp. 289–300。doi : 10.1145/ 165123.165164。ISBN 9780818638107. S2CID 917122 . 2013年6月27日閲覧。
- ^ Herlihy, Maurice (1991). 「待機なしの同期」. ACM Transactions on Programming Languages and Systems . 13 : 124–149. doi : 10.1145/114005.102808 . S2CID 2181446.
- ^ Herlihy, Maurice P.; Wing, Jeannette M. (1990). 「線形化可能性: 並行オブジェクトの正当性条件」. ACM Transactions on Programming Languages and Systems . 12 (3): 463–492. doi : 10.1145/78969.78972 . S2CID 228785.
- ^ 「Maurice Herlihy - Brown Research Directory」 。 2013年6月27日閲覧。
- ^ abc 「分散コンピューティングにおけるエドガー・W・ダイクストラ賞」。ACM Proceedings on Distributed Computing 。 2012年6月27日閲覧。
- ^ 「ゲーデル賞」ACM SIGACT 2018年4月22日時点のオリジナルよりアーカイブ。 2011年8月20日閲覧。
- ^ 「ACM: Fellows Award / Maurice P Herlihy」。Association for Computing Machinery 。 2011年8月20日閲覧。
- ^ 「W. Wallace McDowell Award」. IEEE . 2013年5月29日時点のオリジナルよりアーカイブ。2013年5月5日閲覧。
- ^ 「全米工学アカデミー」NAE 。 2014年4月30日閲覧。
- ^ 「全米発明家アカデミーフェロー」ブラウン大学。 2014年4月30日閲覧。
- ^ 「アメリカ芸術科学アカデミー会員」ブラウン大学。 2014年4月30日閲覧。
外部リンク
- Webサイト
- 数学系譜プロジェクトのモーリス・ハーリヒー