نانسي لينش

نانسي آن لينش (مواليد 19 يناير 1948) ^{[ 1 ]} هي عالمة حاسوب منتسبة إلى معهد ماساتشوستس للتكنولوجيا . وهي أستاذة NEC لعلوم وهندسة البرمجيات في قسم الهندسة الكهربائية وعلوم الحاسوب ، وترأس مجموعة أبحاث "نظرية الأنظمة الموزعة" في مختبر علوم الحاسوب والذكاء الاصطناعي التابع لمعهد ماساتشوستس للتكنولوجيا .

وُلدت لينش في بروكلين ، وتلقت تدريبها الأكاديمي في الرياضيات. التحقت بكلية بروكلين ومعهد ماساتشوستس للتكنولوجيا، حيث حصلت على درجة الدكتوراه عام 1972 تحت إشراف ألبرت ر. ماير . ^{[ 2 ] [ 3 ]}

عملت في هيئة التدريس بقسمي الرياضيات وعلوم الحاسوب في عدة جامعات أخرى، منها جامعة تافتس ، وجامعة جنوب كاليفورنيا ، وجامعة فلوريدا الدولية ، ومعهد جورجيا للتكنولوجيا (جورجيا تك)، قبل انضمامها إلى هيئة التدريس في معهد ماساتشوستس للتكنولوجيا (MIT) عام 1982. ومنذ ذلك الحين، وهي تعمل على تطبيق الرياضيات لفهم وبناء الأنظمة الموزعة المعقدة. وقد أشرفت على عمل أكثر من 25 طالب دكتوراه، و50 طالب ماجستير، والعديد من الباحثين ما بعد الدكتوراه. ^{[ 4 ]}

حصلت جينيفر ويلش على جائزة PODC للأوراق البحثية المؤثرة عام 2001 عن بحثها الذي أجرته عام 1985 مع مايكل ج. فيشر ومايك باترسون ^{[ 5 ]} حول مشاكل التوافق. ^{[ 6 ]} أظهر بحثهم أنه في نظام موزع غير متزامن، يستحيل التوافق إذا تعطل أحد المعالجات. وكتبت جينيفر ويلش عن مساهمتهم قائلةً: "كان لهذه النتيجة أثر بالغ في الحوسبة الموزعة، نظريًا وعمليًا. وقد حفزت مصممي الأنظمة على توضيح ادعاءاتهم المتعلقة بالظروف التي تعمل فيها الأنظمة." ^{[ 6 ]}

هي مؤلفة العديد من المقالات البحثية حول الخوارزميات الموزعة ونتائج الاستحالة، وحول النمذجة الرسمية والتحقق من صحة الأنظمة الموزعة (انظر، على سبيل المثال، أتمتة الإدخال/الإخراج ). وهي مؤلفة كتاب الدراسات العليا "الخوارزميات الموزعة". ^{[ 7 ]} وهي عضو في الأكاديمية الوطنية للعلوم، والأكاديمية الوطنية للهندسة ، وزميلة في جمعية آلات الحوسبة (ACM). ^{[ 8 ]}

• 1997: زميل في جمعية آلات الحوسبة
• 2001: جائزة ديكسترا لأفضل ورقة بحثية في مؤتمر PODC
• 2001: تم انتخابه عضواً في الأكاديمية الوطنية للهندسة لتطوير الأسس النظرية للحوسبة الموزعة. ^{[ 9 ]}
• 2006: جائزة فان وينغاردن
• 2007: جائزة كنوت
• 2007: جائزة ديكسترا لأفضل ورقة بحثية في مؤتمر PODC
• 2010: جائزة IEEE Emanuel R. Piore ^{[ 10 ]}
• 2012: محاضرة أثينا ^{[ 11 ]}
• 2015: الأكاديمية الوطنية للعلوم ^{[ 12 ]}

لينش، نانسي؛ ميريت، مايكل؛ ويل، ويليام؛ فيكيت، آلان (1994). المعاملات الذرية . سان ماتيو، كاليفورنيا: مورغان كوفمان. 476 صفحة . ISBN  9781558601048.

لينش، نانسي أ. (1998). الخوارزميات الموزعة (  الطبعة الثانية). سان فرانسيسكو، كاليفورنيا: كوفمان. ISBN 978-1558603486.

كاينار، ديلسون؛ لينش، نانسي؛ سيجالا، روبرتو؛ فاندراجر، فريتس (2011). نظرية توقيت الإدخال / الإخراج الآلي (  الطبعة الثانية). سان رافائيل، كاليفورنيا: مورغان وكلايبول. ص.  137. ردمك 9781608450039.

• الصفحة الرئيسية لنانسي لينش في معهد ماساتشوستس للتكنولوجيا
• "الاحتفال بنانسي لينش: الستون وما بعدها" .سلسلة من المحاضرات المدعوة في مؤتمر PODC 2008 ومؤتمر CONCUR 2008.