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

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

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

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

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

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