Линч, Нэнси Энн: различия между версиями

'''Нэнси Энн Линч''' ({{lang-en|Nancy Ann Lynch}}; род. 19 января 1948) — американский учёный, профессор компьютерных [[информатика|науки]] и [[инженерия программного обеспечения|инженерии]] [[Массачусетский технологический институт|Массачусетского технологического института]], известная прежде всего {{нп5|автомат ввода-вывода|автоматами ввода-вывода||input/output automaton}} — обобщением [[автомат Мили|автоматов Мили]] на [[распределённые вычисления|распределённые алгоритмы]], позволяющим формально демонстрировать их корректность с помощью иерархических доказательств<ref>Nancy A. Lynch, Mark R. Tuttle, [http://doi.acm.org/10.1145/41840.41852 Hierarchical Correctness Proofs for Distributed Algorithms]. PODC 1987: 137—151.</ref>. На сегодняшний день существует много разновидностей автоматов ввода-вывода: {{нп5|временной автомат|временны́х||timed automaton}}, {{нп5|гибридный автомат|гибридных||hybrid automaton}}, [[вероятностный автомат|вероятностных]] и [[динамические системы|динамических]]<ref>Nancy A. Lynch, [https://dx.doi.org/10.1007/978-3-540-45187-7_12 Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, …], CONCUR 2003: 187—188.</ref>, все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их {{нп5|выразительность (информатика)|выразительность||expressive power (computer science)}} и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать [[монотонная функция|монотонность]] через семантическую типизацию (если заменить фрагмент автомата на другой, поддерживающий только подмножество последовательностей событий исходного, то на уровне всей системы это может привести только с уменьшению множества возможных последовательностей событий)<ref>Paul C. Attie, Nancy A. Lynch, [https://dx.doi.org/10.1016/j.ic.2016.03.008 Dynamic input/output automata: A formal and compositional model for dynamic systems]. Inf. Comput. 249: 28-75 (2016) ([http://arxiv.org/abs/1604.06030 препринт])</ref>.

Диссертация Нэнси Линч называлась «Релятивизация теории [[вычислительная сложность|вычислительной сложности]]» ({{lang-en|Relativization of the Theory of Computational Complexity}}, 1972)<ref name="mgp">[https://www.genealogy.math.ndsu.nodak.edu/id.php?id=81227 Nancy Ann Lynch] на [[Mathematics Genealogy Project]].</ref>. Линч является автором и соавтором более 100 журнальных и почти 200 конференционных статей<ref>[http://dblp.uni-trier.de/pers/hd/l/Lynch:Nancy_A= Nancy A Lynch] на [[DBLP]].</ref>. Она руководила как минимум 28 успешно защитившимися аспирантами<ref name="mgp"/>. Она также входит в список членов [[Национальная академия наук США|АкадемииНациональной академии наук США]] (с 20152016),<ref name="NAS">[http://www.nasonline.org/member-directory/members/53075.html Nancy A. Lynch] {{нп5|ref-en}}</ref>, [[Национальная инженерная академия|Инженерной академии|США|NationalНациональной Academyинженерной ofакадемии Engineering}}США]] (с 2001)<ref name="NAE">{{cite web|url=http://www.nae.edu/MembersSection/Directory20412/28957.aspx |title=NAE Members Directory - Dr. Nancy A. Lynch |publisher=[[National Academy of Engineering|NAE]] |accessdate=December 31, 2010}}</ref> и [[Ассоциация вычислительной техники|Ассоциации вычислительной техники]] (с 1997)<ref>{{Cite web|url=http://awards.acm.org/award_winners/lynch_2276129.cfm|publisher=[[Association for Computing Machinery]]|title=Nancy A Lynch – Award Winner|accessdate=31 October 2013}}</ref> и является получателем целого ряда престижных академических премий.