Lynch, Nancy Ann

Nancy Ann Lynch ( ing.  Nancy Ann Lynch ; născută la 19 ianuarie 1948) este un om de știință american, profesor de informatică și inginerie la Massachusetts Institute of Technology , cel mai cunoscut pentru I/O automata  - o generalizare a automatelor Mealy la algoritmi distribuiți care vă permit să demonstrați în mod formal corectitudinea lor cu ajutorul dovezilor ierarhice [2] . Până în prezent, există multe varietăți de automate I/O: temporare , hibride , probabilistice și dinamice [3] , toate create de însăși Lynch și de colaboratorii ei. Ultimele propuse pentru 2016 au fost automatele dinamice de intrare-ieșire, care modelează sisteme dinamice și permit crearea și distrugerea automatelor pe măsură ce sunt calculate, ceea ce le crește semnificativ expresivitatea și aduce formalismul mai aproape de software-ul modern . Automatele dinamice I/O pot fi combinate într-un sistem ierarhic, pot rula în paralel, redenumi și ascunde evenimente, pot genera automate noi și pot menține monotonitatea semanticătastareaprin [4] .

Pe lângă o contribuție semnificativă la teoria automatelor , Nancy Lynch a scris mai multe cărți, printre care se numără și binecunoscutul manual despre algoritmi distribuiti [5] , care este în prezent puțin depășit și încă folosit în procesul educațional, dar înlocuit, pt. de exemplu, manualul lui W. Fokkink [6] care oferă o abordare mai modernă și mai proaspătă a acestui domeniu în creștere rapidă.

Teza lui Nancy Lynch s-a numit Relativization of the Theory of Computational Complexity , 1972 [7] .  Lynch a fost autor și coautor a peste 100 de articole de reviste și aproape 200 de articole de conferințe [8] . Ea a supravegheat cel puțin 28 de absolvenți de succes [7] . Ea este, de asemenea, membru al Academiei Naționale de Științe din SUA (din 2016) [9] , al Academiei Naționale de Inginerie din SUA (din 2001) [10] și al Asociației pentru Mașini de Calcul (din 1997) [11] și a câștigat un premiu număr de premii academice prestigioase.

Note

1. ↑ Beneficiarii premiului IEEE Emanuel R. Piore (link nu este disponibil) . IEEE . Data accesului: 31 decembrie 2010. Arhivat din original la 24 noiembrie 2010. (nedefinit) 
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. Calculator. 249:28-75 (2016) ( Preprint Arhivat 6 iulie 2022 la 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
7. ↑ 1 2 Nancy Ann Lynch Arhivat la 22 ianuarie 2017 la Wayback Machine on the Mathematics Genealogy Project .
8. ↑ Nancy A Lynch Arhivat 11 iunie 2016 la Wayback Machine pe DBLP .
9. ↑ Nancy A. Lynch Arhivat 24 martie 2019 la Wayback Machine  
10. ↑ Directorul membrilor NAE - Dr. Nancy A. Lynch . NAE . Consultat la 31 decembrie 2010. Arhivat din original la 8 aprilie 2019. (nedefinit)
11. ↑ Nancy A Lynch - Câștigătoare a premiului . Asociația pentru Mașini de Calcul . Consultat la 31 octombrie 2013. Arhivat din original la 25 decembrie 2016. (nedefinit)

Site-uri tematice	Google Academic Genealogie matematică ORCID zbMATH Deschide
În cataloagele bibliografice CONOR : 40274787 GND : 121919625 ISNI : 0000 0001 1084 4440 J9U : 987007437383405171 LCCN : n86848868 NKC : xx0228348 NTA : 109501292 NUKAT : n02726215 SUDOC : 059390166 VIAF : 113611002 WorldCat VIAF : 113611002