ナンシー・リンチ

ナンシー・アン・リンチ（1948年1月19日生まれ）^[1]は、マサチューセッツ工科大学に所属するコンピュータ科学者である。彼女は、 EECS部門のNECソフトウェアサイエンスおよびエンジニアリング教授であり、MITのコンピュータサイエンスおよび人工知能研究所の「分散システム理論」研究グループを率いている。

リンチはブルックリンで生まれ、数学を専攻した。ブルックリン・カレッジとMITに通い、 1972年にアルバート・R・マイヤーの指導の下で博士号を取得した。^{[2] [3]}

彼女は、1982 年に MIT の教授陣に加わる前は、タフツ大学、南カリフォルニア大学、フロリダ国際大学、ジョージア工科大学 (ジョージア工科大学)など、いくつかの大学で数学とコンピューターサイエンスの教授を務めていました。それ以来、複雑な分散システムの理解と構築のタスクに数学を応用することに取り組んでいます。

1985年にマイケル・J・フィッシャー、マイク・パターソンと共同で取り組んだ合意形成問題に関する研究^[4]は、2001年にPODC Influential-Paper Awardを受賞しました^[5]。彼らの研究は、非同期分散システムでは、プロセッサが1つでもクラッシュすると合意形成が不可能になることを示しました。彼らの貢献について、ジェニファー・ウェルチは「この結果は、理論と実践の両方で分散コンピューティングに大きな影響を与えました。システム設計者は、システムがどのような状況で機能するかに関する主張を明確にする動機づけとなりました」と書いています^{[5] 。}

彼女は、分散アルゴリズムと不可能性結果、分散システムの形式的モデリングと検証（例えば、入力/出力オートマトンを参照）に関する多数の研究論文の著者です。彼女は大学院の教科書「分散アルゴリズム」の著者です。^[6]彼女は米国科学アカデミー、米国工学アカデミーの会員であり、ACMフェローです。^[7]

• 1997年: ACMフェロー
• 2001年: PODCカンファレンスのダイクストラ論文賞
• 2001年:分散コンピューティングの理論的基礎の開発のために全米工学アカデミーの会員に選出される。 ^[8]
• 2006年:ファン・ヴィンガルデン賞
• 2007年:クヌース賞
• 2007年: PODCカンファレンスのダイクストラ論文賞
• 2010: IEEE エマニュエル R. ピオレ賞^[9]
• 2012年: アテナ講師^[10]
• 2015年：米国科学アカデミー^[11]

リンチ、ナンシー、メリット、マイケル、ウェイル、ウィリアム、フェケテ、アラン (1994)。『Atomic Transactions』、カリフォルニア州サンマテオ、モルガン・カウフマン、pp. 476、ISBN 9781558601048。

リンチ、ナンシー A. (1998)。分散アルゴリズム(第 2 版)。サンフランシスコ、カリフォルニア州: カウフマン。ISBN 978-1558603486。

カイナー、ディルスン。リンチ、ナンシー。セガラ、ロベルト。ヴァンドラーガー、フリッツ (2011)。時限 I/O オートマトンの理論(第 2 版)。カリフォルニア州サンラファエル：モーガン＆クレイプール。 p. 137.ISBN​ 9781608450039。

• MIT のナンシー・リンチのホームページ
• 「ナンシー・リンチのお祝い：60歳を超えて」。PODC 2008 および CONCUR 2008での一連の招待講演。