ナンシー・リンチ
ナンシー・アン・リンチ (英語:Nancy Ann Lynch, 1948年1月19日 - )はアメリカ合衆国の女性計算機科学者。MIT教授。電気工学及び計算機科学(英語版)科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所(CSAIL)の分散システム理論研究グループ長を務める。
分散アルゴリズムとその不可能性(impossibility result)について、また形式的モデル化(formal modeling)と分散システムの妥当性確認(validation)について(例えばI/Oオートマトン(英語版)参照)の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithmsの著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。