Открыть главное меню

Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего автоматами ввода-вывода[en] — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств[3]. На сегодняшний день существует много разновидностей автоматов ввода-вывода: временны́х[en], гибридных[en], вероятностных и динамических[4], все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их выразительность[en] и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать монотонность через семантическую типизацию (если заменить фрагмент автомата на другой, поддерживающий только подмножество последовательностей событий исходного, то на уровне всей системы это может привести только с уменьшению множества возможных последовательностей событий)[5].

Нэнси Энн Линч
Nancy Ann Lynch
Дата рождения 19 января 1948(1948-01-19)[1] (71 год)
Место рождения
Страна  США
Научная сфера информатика
Место работы Тафтс, Юж. Калифорния, Джорджия, Массачусетс
Альма-матер Массачусетский технологический институт
Учёная степень доктор философии
Учёное звание профессор
Научный руководитель А. Р. да Сильва Майер[en]
Известна как автор автоматов ввода-вывода
Награды и премии Премия Пиора (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] и лауреатом ряда престижных академических премий.

ПримечанияПравить

  1. SNAC — 2010.
  2. IEEE Emanuel R. Piore Award Recipients (недоступная ссылка). IEEE. Дата обращения 31 декабря 2010. Архивировано 24 ноября 2010 года.
  3. Nancy A. Lynch, Mark R. Tuttle, Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137—151.
  4. Nancy A. Lynch, Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, …, CONCUR 2003: 187—188.
  5. Paul C. Attie, Nancy A. Lynch, Dynamic input/output automata: A formal and compositional model for dynamic systems. Inf. Comput. 249: 28-75 (2016) (препринт)
  6. Nancy A. Lynch, Distributed Algorithms. Morgan Kaufmann 1996, ISBN 1-55860-348-4.
  7. Wan Fokkink, Distributed Algorithms: An Intuitive Approach, MIT Press, 2013. ISBN 0262026775
  8. 1 2 Nancy Ann Lynch на Mathematics Genealogy Project.
  9. Nancy A Lynch на DBLP.
  10. Nancy A. Lynch  (англ.)
  11. NAE Members Directory - Dr. Nancy A. Lynch. NAE. Дата обращения 31 декабря 2010.
  12. Nancy A Lynch – Award Winner. Association for Computing Machinery. Дата обращения 31 октября 2013.