ナンシー・リンチ
Nancy Lynch ナンシー・リンチ | |
---|---|
生誕 | (1948-01-19) 1948年1月19日(76歳)![]() |
国籍 | ![]() |
研究分野 | 計算機科学 |
研究機関 | タフツ大学 南カリフォルニア大学 フロリダ国際大学 ジョージア工科大学 MIT |
出身校 | ニューヨーク市立大学ブルックリン校 MIT |
博士論文 | Relativization of the Theory of Computational Complexity (1972) |
プロジェクト:人物伝 | |
テンプレートを表示 |
ナンシー・アン・リンチ (英語:Nancy Ann Lynch, 1948年1月19日 - )[1]はアメリカ合衆国の女性計算機科学者。MIT教授。電気工学及び計算機科学(英語版)科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所(CSAIL)の分散システム理論研究グループ長を務める。
分散アルゴリズムとその不可能性(impossibility result)について、また形式的モデル化(formal modeling)と分散システムの妥当性確認(validation)について(例えばI/Oオートマトン(英語版)参照)の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithms[2]の著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。[3]
経歴
ブルックリン出身。ニューヨーク市立大学ブルックリン校とMITで数学を専攻し、Ph.D.をアルバート・メイヤー(英語版)の指導の下1972年に取得する。[4]タフツ大学、 南カリフォルニア大学、ジョージア工科大学などで数学とコンピュータ科学のファカルティ職を歴任した後、1982年にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。
顕彰
- 1997: ACMフェロー選出
- 2001: ダイクストラ賞(英語版)
- 2001: 米国工学アカデミー会員[5]
- 2006: en:Van Wijngaarden Award
- 2007: クヌース賞
- 2007: ダイクストラ賞(英語版)
- 2010: en:IEEE Emanuel R. Piore Award[6]
- 2012: Athena Lecturer[7]
- 2015: 米国科学アカデミー会員[8]
参考文献
- ^ Who's who of American women.
- ^ Lynch, Nancy (1996). Distributed Algorithms. San Francisco, CA: en:Morgan Kaufmann Publishers. ISBN 978-1-55860-348-6
- ^ “Nancy A Lynch – Award Winner”. Association for Computing Machinery. 31 October 2013閲覧。
- ^ ナンシー・リンチ - Mathematics Genealogy Project
- ^ “NAE Members Directory - Dr. Nancy A. Lynch”. 米国工学アカデミー. December 31, 2010閲覧。
- ^ “IEEE Emanuel R. Piore Award Recipients”. IEEE. December 31, 2010閲覧。
- ^ “Lynch named Athena Lecturer”. MIT News (18 April 2012). 31 October 2013閲覧。
- ^ “National Academy of Sciences Members and Foreign Associates Elected”. 2016年5月5日閲覧。
外部リンク
- Nancy Lynch's home page at MIT
- 図書館にあるナンシー・リンチに関係する蔵書一覧 - WorldCatカタログ
- “Nancy Lynch Celebration: Sixty and Beyond”. 2017年8月9日閲覧。 国際会議PODC 2008、 CONCUR 2008での一連の連続招待講演。