Нэнси Энн Линч (родилась 19 января 1948 г.) [1] - математик, теоретик и профессор Массачусетского технологического института . Она является профессором программных наук и инженерии NEC в отделе EECS и возглавляет исследовательскую группу «Теория распределенных систем» в лаборатории информатики и искусственного интеллекта Массачусетского технологического института.
Нэнси Линч | |
---|---|
Родившийся | Бруклин , Нью-Йорк | 19 января 1948 г.
Альма-матер | Бруклинский колледж MIT |
Известен | Распределенные системы |
Награды | Член ACM (1997 г.) Премия Дейкстры (2001, 2007 гг.) Член Национальной инженерной академии (2001 г.) Премия Ван Вийнгаардена (2006 г.) Премия IEEE Эмануэля Р. Пиоре (2010 г.) Член Национальной академии наук (2015 г.) |
Научная карьера | |
Поля | Информатика |
Учреждения | Университет Тафтса, Университет Южной Калифорнии, Технологический институт Джорджии, Массачусетский технологический институт |
Тезис | Релятивизация теории вычислительной сложности (1972) |
Докторант | Альберт Р. Мейер |
Докторанты | Кэл Ньюпорт Джордж Варгезе |
Образование и ранняя жизнь
Линч родилась в Бруклине и получила образование в области математики. Она училась в Бруклинском колледже и Массачусетском технологическом институте, где получила степень доктора философии. в 1972 г. под руководством Альберта Р. Мейера . [2] [3]
Работа
До прихода на факультет Массачусетского технологического института в 1982 году она работала на факультете математики и информатики в нескольких других университетах, включая Университет Тафтса , Университет Южной Калифорнии , Международный университет Флориды и Технологический институт Джорджии (Технологический институт Джорджии). , она работает над применением математики к задачам понимания и построения сложных распределенных систем.
Ее работа 1985 года с Майклом Дж. Фишером и Майком Патерсоном [4] по проблемам консенсуса получила награду PODC Influential-Paper Award в 2001 году. [5] Их работа показала, что в асинхронной распределенной системе достижение консенсуса невозможно, если есть сбой одного процессора. . В своем выступлении Дженнифер Велч написала, что «этот результат оказал колоссальное влияние на распределенные вычисления, как в теории, так и на практике. Разработчики систем были заинтересованы в разъяснении своих утверждений относительно того, при каких обстоятельствах работают системы». [5]
Она является автором множества исследовательских статей о распределенных алгоритмах и результатах невозможности, а также о формальном моделировании и проверке распределенных систем (см., Например, автомат ввода / вывода ). Автор дипломного учебника «Распределенные алгоритмы». [6] Она является членом Национальной академии наук, Национальной инженерной академии и научным сотрудником ACM. [7]
Признание
- 1997: сотрудник ACM
- 2001: Бумажная премия Дейкстры конференции PODC
- 2001: Национальная инженерная академия [8]
- 2006: Премия Ван Вейнгаардена
- 2007: Приз Кнута
- 2007: Приз Дейкстры на конференции PODC
- 2010: Премия IEEE Эмануэля Р. Пиоре [9]
- 2012: Афина, лектор [10]
- 2015: Национальная академия наук [11]
Библиография
Линч, Нэнси; Мерритт, Майкл; Weihl, Уильям; Фекете, Алан (1994). Атомарные транзакции . Сан-Матео, Калифорния: Морган Кауфманн. С. 476 . ISBN 9781558601048.
Линч, Нэнси А. (1998). Распределенные алгоритмы (2-е изд.). Сан-Франциско, Калифорния: Кауфманн. ISBN 978-1558603486.
Кайнар, Дилсун; Линч, Нэнси; Сегала, Роберто; Ваандрагер, Фриц (2011). Теория автоматов ввода-вывода с синхронизацией (2-е изд.). Сан-Рафаэль, Калифорния: Морган и Клейпул. п. 137. ISBN 9781608450039.
Рекомендации
- ^ Кто есть кто из американских женщин . Маркиз Who's Who, 1973. стр. 587.
- ^ Нэнси, Линч (1972). Релятивизация теории вычислительной сложности (Ph.D.). Массачусетский Институт Технологий. ЛВП : 1721,1 / 12180 .
- ↑ Нэнси Линч в проекте « Математическая генеалогия»
- ^ Фишер, Линч и Патерсон (1985)
- ^ а б «Премия PODC Influential Paper Award: 2001» . Проверено 6 июля 2009 .
- ^ Линч, Нэнси (1996). Распределенные алгоритмы . Сан-Франциско, Калифорния: Издательство Морган Кауфманн . ISBN 978-1-55860-348-6.
- ^ «Нэнси А. Линч - лауреат премии» . Ассоциация вычислительной техники . Проверено 31 октября 2013 года .
- ^ "Справочник членов NAE - доктор Нэнси А. Линч" . NAE . Проверено 31 декабря 2010 года .
- ^ «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . IEEE. Архивировано 17 февраля 2013 года (PDF) . Проверено 20 марта 2021 года .
- ^ «Линч по имени Афина Лектор» . MIT News. 18 апреля 2012 . Проверено 31 октября 2013 года .
- ^ «Избраны члены и зарубежные сотрудники Национальной академии наук» . Проверено 5 мая 2016 .
Внешние ссылки
- Домашняя страница Нэнси Линч в Массачусетском технологическом институте
- Работы Нэнси Линч или о ней в библиотеках ( каталог WorldCat )
- «Праздник Нэнси Линч: Шестьдесят и больше» .Цикл приглашенных лекций на PODC 2008 и CONCUR 2008.