Loading article…
ナンシー・アン・リンチ（1948年1月19日生まれ）[ 1 ]は、マサチューセッツ工科大学に所属するコンピュータ科学者です。彼女はEECS学科のNECソフトウェア科学・工学教授であり、MITのコンピュータ科学・人工知能研究所の「分散システムの理論」研究グループを率いています。
リンチはブルックリンで生まれ、数学の学術的な訓練を受けた。彼女はブルックリン大学とMITに通い、 1972年にアルバート・R・マイヤーの指導の下で博士号を取得した。[ 2 ] [ 3 ]
彼女は1982年にMITの教員となる以前は、タフツ大学、南カリフォルニア大学、フロリダ国際大学、ジョージア工科大学（ジョージアテック）など、他のいくつかの大学で数学とコンピュータサイエンスの教員を務めていました。それ以来、彼女は複雑な分散システムの理解と構築のタスクに数学を応用することに取り組んでいます。彼女は25人以上の博士課程学生、50人の修士課程学生、および数人のポスドク研究員の研究を監督してきました。[ 4 ]
彼女がマイケル・J・フィッシャーとマイク・パターソンと共同で行った1985年の合意問題に関する研究[ 5 ]は、 2001年にPODC影響力論文賞を受賞しました[ 6 ]。彼らの研究は、非同期分散システムでは、1つのプロセッサがクラッシュすると合意は不可能であることを示しました。彼らの貢献について、ジェニファー・ウェルチは「この結果は、分散コンピューティングの理論と実践の両方に計り知れない影響を与えました。システム設計者は、システムがどのような状況で機能するかについての主張を明確にする動機付けを得ました」と書いています[ 6 ] 。
彼女は、分散アルゴリズムと不可能性結果、および分散システムの形式的モデリングと検証に関する多数の研究論文の著者です（例えば、入出力オートマトンを参照）。彼女は大学院教科書「分散アルゴリズム」の著者です。[ 7 ]彼女は米国科学アカデミー、米国工学アカデミーの会員であり、ACMフェローです。[ 8 ]
リンチ、ナンシー；メリット、マイケル；ウェイル、ウィリアム；フェケテ、アラン（1994）。アトミック・トランザクションズ。カリフォルニア州サンマテオ：モーガン・カウフマン。476ページ。ISBN 9781558601048。
リンチ、ナンシー A. (1998).分散アルゴリズム（第2 版）. サンフランシスコ、カリフォルニア州：カウフマン. ISBN 978-1558603486。
カイナー、ディルスン。リンチ、ナンシー。セガラ、ロベルト。ヴァンドラーガー、フリッツ (2011)。時限 I/O オートマトンの理論(第 2 版)。カリフォルニア州サンラファエル：モーガン＆クレイプール。 p. 137.ISBN 9781608450039。