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

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

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

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

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

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

↑ IEEE Emanuel R. Piore Award Recipients (неопр.). IEEE. Дата обращения: 31 декабря 2010. Архивировано из оригинала 24 ноября 2010 года.
↑ Nancy A. Lynch, Mark R. Tuttle, Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137—151.
↑ Nancy A. Lynch, Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, …, CONCUR 2003: 187—188.
↑ 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 июля 2022 на Wayback Machine)
↑ Nancy A. Lynch, Distributed Algorithms. Morgan Kaufmann 1996, ISBN 1-55860-348-4.
↑ Wan Fokkink, Distributed Algorithms: An Intuitive Approach, MIT Press, 2013. ISBN 0-262-02677-5
↑ ¹ ² Nancy Ann Lynch Архивная копия от 22 января 2017 на Wayback Machine на Mathematics Genealogy Project.
↑ Nancy A Lynch Архивная копия от 11 июня 2016 на Wayback Machine на DBLP.
↑ Nancy A. Lynch Архивная копия от 24 марта 2019 на Wayback Machine (англ.)
↑ NAE Members Directory - Dr. Nancy A. Lynch (неопр.). NAE. Дата обращения: 31 декабря 2010. Архивировано 8 апреля 2019 года.
↑ Nancy A Lynch – Award Winner (неопр.). Association for Computing Machinery. Дата обращения: 31 октября 2013. Архивировано 25 декабря 2016 года.

[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) (препринт Архивная копия от 6 июля 2022 на Wayback Machine)

[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

[mgp-7] ¹ ² Nancy Ann Lynch Архивная копия от 22 января 2017 на Wayback Machine на Mathematics Genealogy Project.

[8] Nancy A Lynch Архивная копия от 11 июня 2016 на Wayback Machine на DBLP.

[NAS-9] Nancy A. Lynch Архивная копия от 24 марта 2019 на Wayback Machine (англ.)

[NAE-10] NAE Members Directory - Dr. Nancy A. Lynch (неопр.). NAE. Дата обращения: 31 декабря 2010. Архивировано 8 апреля 2019 года.

[11] Nancy A Lynch – Award Winner (неопр.). Association for Computing Machinery. Дата обращения: 31 октября 2013. Архивировано 25 декабря 2016 года.

[2]

[3]

[4]

[1]

[5]

[6]

[7]

[8]

[9]

[10]

[11]