Русская Википедия:Линч, Нэнси Энн

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

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

Примечания

Шаблон:Примечания Шаблон:ВС

Шаблон:Лауреаты премии Кнута

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Nancy A. Lynch, Mark R. Tuttle, Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137—151.
  2. ↑ Nancy A. Lynch, Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, …, CONCUR 2003: 187—188.
  3. ↑ Paul C. Attie, Nancy A. Lynch, Dynamic input/output automata: A formal and compositional model for dynamic systems. Inf. Comput. 249: 28-75 (2016) (препринт Шаблон:Wayback)
  4. ↑ Nancy A. Lynch, Distributed Algorithms. Morgan Kaufmann 1996, ISBN 1-55860-348-4.
  5. ↑ Wan Fokkink, Distributed Algorithms: An Intuitive Approach, MIT Press, 2013. ISBN 0-262-02677-5
  6. ↑ 6,0 6,1 Nancy Ann Lynch Шаблон:Wayback на Mathematics Genealogy Project.
  7. ↑ Nancy A Lynch Шаблон:Wayback на DBLP.
  8. ↑ Nancy A. Lynch Шаблон:Wayback Шаблон:Ref-en
  9. ↑ Шаблон:Cite web
  10. ↑ Шаблон:Cite web
Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Линч,_Нэнси_Энн&oldid=10274105