Нэнси Линч
Нэнси Линч | |
|---|---|
| Рожденный | 19 января 1948 г. Бруклин , Нью-Йорк |
| Альма-матер | Бруклинский колледж С |
| Известный | Распределенные системы |
| Награды | Сотрудник ACM (1997) Премия Дейкстры (2001, 2007) Член Национальной инженерной академии (2001 г.). Премия Ван Вейнгаардена (2006) Премия IEEE Эмануэля Р. Пиоре (2010 г.) Член Национальной академии наук (2015 г.) Премия Кнута (2007) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Университет Тафтса Университет Южной Калифорнии Международный университет Флориды Технологический институт Джорджии С |
| Диссертация | Релятивизация теории сложности вычислений (1972) |
| Докторантура | Альберт Р. Мейер |
| Докторанты | Кэл Ньюпорт Джордж Варгезе |
Нэнси Энн Линч (родилась 19 января 1948 г.) [1] — учёный-компьютерщик, работающий в Массачусетском технологическом институте . Она является профессором NEC в области программного обеспечения и инженерии на факультете EECS и возглавляет исследовательскую группу «Теория распределенных систем» в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института .
молодость Образование и
Линч родилась в Бруклине , и ее академическое образование было связано с математикой. Она училась в Бруклинском колледже и Массачусетском технологическом институте, где получила докторскую степень. в 1972 году под руководством Альберта Р. Мейера . [2] [3]
Работа [ править ]
она работала на факультете математики и информатики в нескольких других университетах, включая Университет Тафтса , Университет Южной Калифорнии , Международный университет Флориды и Технологический институт Джорджии До прихода на факультет Массачусетского технологического института в 1982 году (Технологический институт Джорджии). , она работала над применением математики для решения задач понимания и построения сложных распределенных систем.
Ее работа 1985 года с Майклом Дж. Фишером и Майком Патерсоном. [4] по проблемам консенсуса получил награду PODC Influential-Paper Award в 2001 году. [5] Их работа показала, что в асинхронной распределенной системе консенсус невозможен, если один процессор выходит из строя. По поводу своего вклада Дженнифер Уэлч написала, что «этот результат оказал колоссальное влияние на распределенные вычисления, как в теории, так и на практике. Разработчики систем были мотивированы прояснить свои утверждения относительно того, при каких обстоятельствах системы работают». [5]
Она является автором многочисленных исследовательских статей о распределенных алгоритмах и результатах невозможности, а также о формальном моделировании и проверке распределенных систем (см., например, автомат ввода-вывода ). Является автором учебника для аспирантов «Распределенные алгоритмы». [6] Она является членом Национальной академии наук, Национальной инженерной академии и членом ACM. [7]
Признание [ править ]
- 1997: научный сотрудник ACM
- 2001: Премия Дейкстры Paper на конференции PODC
- 2001: Избран членом Национальной инженерной академии за разработку теоретических основ распределенных вычислений. [8]
- 2006: Премия Ван Вейнгаардена
- 2007: Премия Кнута
- 2007: Премия Дейкстры Paper на конференции PODC
- 2010: Премия IEEE Эмануэля Р. Пиоре [9]
- 2012: Афина Преподаватель [10]
- 2015: Национальная академия наук. [11]
Библиография [ править ]
Линч, Нэнси; Мерритт, Майкл; Вейль, Уильям; Фекете, Алан (1994). Атомарные транзакции . Сан-Матео, Калифорния: Морган Кауфманн. стр. 476 . ISBN 9781558601048 .
Линч, Нэнси А. (1998). Распределенные алгоритмы (2-е изд.). Сан-Франциско, Калифорния: Кауфманн. ISBN 978-1558603486 .
Кайнар, Дилсун; Линч, Нэнси; Сегала, Роберто; Ваандрагер, Фриц (2011). Теория автоматов синхронного ввода-вывода (2-е изд.). Сан-Рафаэль, Калифорния: Морган и Клейпул. п. 137. ИСБН 9781608450039 .
Ссылки [ править ]
- ^ Кто есть кто из американок . Маркиз Кто есть кто, 1973. с. 587.
- ^ Нэнси, Линч (1972). Релятивизация теории сложности вычислений (к.т.н.). Массачусетский технологический институт. hdl : 1721.1/12180 .
- ^ Нэнси Линч в проекте «Математическая генеалогия»
- ^ Фишер, MJ ; Линч, Северная Каролина ; Патерсон, М.С. (1985). «Невозможность распределенного консенсуса с одним неисправным процессом» (PDF) . Журнал АКМ . 32 (2): 374–382. дои : 10.1145/3149.214121 . S2CID 207660233 .
- ^ Jump up to: а б «Награда PODC за влиятельную бумагу: 2001» . Проверено 6 июля 2009 г.
- ^ Линч, Нэнси (1996). Распределенные алгоритмы . Сан-Франциско, Калифорния: Издательство Morgan Kaufmann . ISBN 978-1-55860-348-6 .
- ^ «Нэнси Линч – обладательница награды» . Ассоциация вычислительной техники . Проверено 31 октября 2013 г.
- ^ «Справочник членов NAE - доктор Нэнси А. Линч» . НАЭ . Проверено 31 декабря 2010 г.
- ^ «Получатели премии IEEE Эмануэля Р. Пиоре» (PDF) . IEEE. Архивировано (PDF) из оригинала 17 февраля 2013 г. Проверено 20 марта 2021 г.
- ^ «Линч по имени Афина Лектор» . Новости Массачусетского технологического института. 18 апреля 2012 года . Проверено 31 октября 2013 г.
- ^ «Избраны члены Национальной академии наук и иностранные сотрудники» . Проверено 5 мая 2016 г.
Внешние ссылки [ править ]
- Домашняя страница Нэнси Линч в Массачусетском технологическом институте
- «Празднование Нэнси Линч: шестьдесят и дальше» . Серия приглашенных лекций на PODC 2008 и CONCUR 2008.
- Американские ученые-компьютерщики
- 1948 рождений
- Живые люди
- Исследователи распределенных вычислений
- Инженерный факультет Массачусетского технологического института
- Технологический факультет Джорджии
- 1997 г. Члены Ассоциации вычислительной техники.
- Американские женщины-компьютерщики
- Лауреаты премии Кнута
- Лауреаты премии Дейкстры
- Члены Национальной инженерной академии США
- Выпускники Массачусетского технологического института
- Выпускники Бруклинского колледжа
- Американские ученые-теоретики-компьютерщики
- Американские учёные XX века
- Американские учёные XXI века
- Члены Национальной академии наук США
- Американские женщины 21 века