Линч, Нэнси Энн

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Нэнси Энн Линч
Nancy Ann Lynch
Дата рождения 19 января 1948(1948-01-19)[1] (71 год)
Место рождения
Страна  США
Научная сфера информатика
Место работы Тафтс, Юж. Калифорния, Джорджия, Массачусетс
Альма-матер Массачусетский технологический институт
Учёная степень доктор философии
Учёное звание профессор
Научный руководитель А. Р. да Сильва Майер[en]
Известна как автор автоматов ввода-вывода
Награды и премии Премия Пиора (2010)[2]
Премия Дейкстры (2001, 2007)
Премия Кнута (2007)
Премия ван Вейнгаардена (2006)
Сайт people.csail.mit.edu/lyn…

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

Кроме заметного вклада в теорию автоматов, Нэнси Линч написала несколько книг, среди которых — известный учебник по распределённым алгоритмам[6], на данный момент слегка устаревший и всё ещё использующийся в учебном процессе, но вытесняемый, например, монографией В. Фоккинка[7], предлагающей более современный и свежий взгляд на эту быстро развивающуюся область.

Диссертация Нэнси Линч называлась «Релятивизация теории вычислительной сложности» (англ. Relativization of the Theory of Computational Complexity, 1972)[8]. Линч является автором и соавтором более 100 журнальных и почти 200 конференционных статей[9]. Она руководила как минимум 28 успешно защитившимися аспирантами[8]. Она также входит в список членов Академии наук США (с 2015), Инженерной академии[en]* (с 2001)[10] и Ассоциации вычислительной техники (с 1997)[11] и является получателем целого ряда престижных академических премий.

Примечания[править | править код]

  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. NAE Members Directory - Dr. Nancy A. Lynch. NAE. Проверено 31 декабря 2010.
  11. Nancy A Lynch – Award Winner. Association for Computing Machinery. Проверено 31 октября 2013.