แนนซี แอนน์ ลินช์ (เกิด 19 มกราคม พ.ศ. 2491) ^{[ 1 ]}เป็นนักวิทยาศาสตร์คอมพิวเตอร์ที่สังกัดสถาบันเทคโนโลยีแมสซาชูเซตส์ เธอเป็นศาสตราจารย์ NEC ด้านวิทยาศาสตร์และวิศวกรรมซอฟต์แวร์ใน ภาควิชา EECSและเป็นหัวหน้ากลุ่มวิจัย "ทฤษฎีระบบกระจาย" ที่ห้องปฏิบัติการวิทยาศาสตร์คอมพิวเตอร์และปัญญาประดิษฐ์ ของ MIT

ลินช์เกิดที่บรูคลินและได้รับการศึกษาทางวิชาการในสาขาคณิตศาสตร์ เธอเข้าเรียนที่วิทยาลัยบรูคลินและ MIT ซึ่งเธอได้รับปริญญาเอกในปี 1972 ภายใต้การดูแลของอัลเบิร์ต อาร์. เมเยอร์^{[ 2 ] [ 3 ]}

เธอเคยดำรงตำแหน่งอาจารย์ในคณะคณิตศาสตร์และวิทยาการคอมพิวเตอร์ที่มหาวิทยาลัยอื่นๆ หลายแห่ง รวมถึงมหาวิทยาลัยทัฟส์มหาวิทยาลัยเซาท์เทิร์นแคลิฟอร์เนียมหาวิทยาลัยฟลอริดาอินเตอร์เนชั่นแนลและสถาบันเทคโนโลยีจอร์เจีย (จอร์เจียเทค) ก่อนที่จะเข้าร่วมคณะ MIT ในปี 1982 นับตั้งแต่นั้นมา เธอได้ทำงานเกี่ยวกับการประยุกต์ใช้คณิตศาสตร์กับงานต่างๆ ในการทำความเข้าใจและสร้างระบบกระจายที่ซับซ้อน เธอได้ดูแลงานของนักศึกษาปริญญาเอกกว่า 25 คน นักศึกษาปริญญาโท 50 คน และนักวิจัยหลังปริญญาเอกอีกหลายคน^{[ 4 ]}

งานของเธอในปี 1985 ร่วมกับMichael J. FischerและMike Paterson ^{[ 5 ]}เกี่ยวกับปัญหาฉันทามติได้รับรางวัล PODC Influential-Paper Awardในปี 2001 ^{[ 6 ]}งานของพวกเขาแสดงให้เห็นว่าในระบบกระจายแบบอะซิงโครนัส ฉันทามติเป็นไปไม่ได้หากมีโปรเซสเซอร์ตัวใดตัวหนึ่งล่มJennifer Welchเขียนเกี่ยวกับผลงานของพวกเขาว่า "ผลลัพธ์นี้มีผลกระทบอย่างมหาศาลต่อการคำนวณแบบกระจาย ทั้งในเชิงทฤษฎีและเชิงปฏิบัติ นักออกแบบระบบได้รับแรงบันดาลใจให้ชี้แจงข้ออ้างของพวกเขาเกี่ยวกับสถานการณ์ที่ระบบทำงานได้" ^{[ 6 ]}

เธอเป็นผู้เขียนบทความวิจัยจำนวนมากเกี่ยวกับอัลกอริธึมแบบกระจายและผลลัพธ์ที่เป็นไปไม่ได้ รวมถึงเกี่ยวกับการสร้างแบบจำลองและการตรวจสอบความถูกต้องอย่างเป็นทางการของระบบแบบกระจาย (ดูตัวอย่างเช่นออโตมาตอนอินพุต/เอาต์พุต ) เธอเป็นผู้เขียนตำราเรียนระดับบัณฑิตศึกษาเรื่อง "อัลกอริธึมแบบกระจาย" ^{[ 7 ]}เธอเป็นสมาชิกของสถาบันวิทยาศาสตร์แห่งชาติสถาบันวิศวกรรมแห่งชาติและเป็น ACM Fellow ^{[ 8 ]}

• ปี 1997: สมาชิก ACM
• ปี 2001: รางวัลบทความดีเด่น Dijkstraจากการประชุม PODC
• 2001: ได้รับเลือกเป็นสมาชิกของสถาบันวิศวกรรมแห่งชาติเพื่อการพัฒนาพื้นฐานทางทฤษฎีสำหรับการประมวลผลแบบกระจาย^{[ 9 ]}
• ปี 2006: รางวัลแวน วิงการ์เดน
• ปี 2007: รางวัลคนุธ
• ปี 2007: รางวัลบทความดีเด่น Dijkstraจากการประชุม PODC
• 2010: รางวัล IEEE Emanuel R. Piore ^{[ 10 ]}
• 2012: วิทยากร Athena ^{[ 11 ]}
• 2015: สถาบันวิทยาศาสตร์แห่งชาติ^{[ 12 ]}

Lynch, Nancy ; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Atomic Transactions . ซานมาเตโอ, แคลิฟอร์เนีย: Morgan Kaufmann. หน้า476. ISBN  9781558601048.

Lynch, Nancy A. (1998). อัลกอริทึมแบบกระจาย (  ฉบับที่ 2). ซานฟรานซิสโก, แคลิฟอร์เนีย: Kaufmann. ISBN 978-1558603486.

เคย์นาร์, ดิลซุน; ลินช์, แนนซี่; เซกาลา, โรแบร์โต; Vaandrager, ฟริตส์ (2011) ทฤษฎีของ Timed I/O Automata (  ฉบับที่ 2) ซานราฟาเอล แคลิฟอร์เนีย: มอร์แกนและเคลย์พูล พี 137. ไอเอสบีเอ็น 9781608450039.

• หน้าเว็บของแนนซี ลินช์ที่ MIT
• "งานฉลองครบรอบแนนซี ลินช์: หกสิบปีและก้าวต่อไป "ชุดการบรรยายรับเชิญในงานPODC 2008 และ CONCUR 2008