Линч, Нэнси Энн
Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего автоматами ввода-вывода[англ.] — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств[3]. На сегодняшний день существует много разновидностей автоматов ввода-вывода: временны́х[англ.], гибридных[англ.], вероятностных и динамических[4], все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их выразительность[англ.] и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать монотонность через семантическую типизацию (если заменить фрагмент автомата на другой, поддерживающий только подмножество последовательностей событий исходного, то на уровне всей системы это может привести только с уменьшению множества возможных последовательностей событий)[5].
| Нэнси Энн Линч | |
|---|---|
| англ. Nancy Ann Lynch | |
| Дата рождения | 19 января 1948[1] (76 лет) |
| Место рождения | |
| Страна |  США |
| Род деятельности | учёная в области информатики, преподавательница университета, математик |
| Научная сфера | информатика |
| Место работы | Тафтс, Юж. Калифорния, Джорджия, Массачусетс |
| Альма-матер | Массачусетский технологический институт |
| Учёная степень | доктор философии |
| Учёное звание | профессор |
| Научный руководитель | А. Р. да Сильва Майер[англ.] |
| Известна как | автор автоматов ввода-вывода |
| Награды и премии | Премия Пиора (2010)[2] Премия Дейкстры (2001, 2007) Премия Кнута (2007) Премия ван Вейнгаардена (2006) |
| Сайт | people.csail.mit.edu/lyn… |
Кроме заметного вклада в теорию автоматов, Нэнси Линч написала несколько книг, среди которых — известный учебник по распределённым алгоритмам[6], на данный момент слегка устаревший и всё ещё использующийся в учебном процессе, но вытесняемый, например, учебником В. Фоккинка[7], предлагающей более современный и свежий взгляд на эту быстро развивающуюся область.
Диссертация Нэнси Линч называлась «Релятивизация теории вычислительной сложности» (англ. Relativization of the Theory of Computational Complexity, 1972)[8]. Линч является автором и соавтором более 100 журнальных и почти 200 конференционных статей[9]. Она руководила как минимум 28 успешно защитившимися аспирантами[8]. Она также входит в список членов Национальной академии наук США (с 2016)[10], Национальной инженерной академии США (с 2001)[11] и Ассоциации вычислительной техники (с 1997)[12] и лауреатом ряда престижных академических премий.