Lynch, Nancy Ann

Nancy Ann Lynch ( eng.  Nancy Ann Lynch ; syntynyt 19. tammikuuta 1948) on amerikkalainen tiedemies, Massachusetts Institute of Technologyn tietojenkäsittelytieteen ja tekniikan professori , joka tunnetaan parhaiten I/O-automaateista - Mealy  -automaattien yleistys hajautettuihin algoritmeihin , joiden avulla voit muodollisesti osoittaa niiden oikeellisuuden hierarkkisten todisteiden avulla [2] . Tähän mennessä I/O-automaatteja on monia erilaisia: väliaikaisia , hybridejä , todennäköisyyksiä ja dynaamisia [3] , jotka kaikki ovat Lynchin itsensä ja hänen yhteistyökumppaneidensa luomia. Viimeisinä vuodelle 2016 ehdotettiin dynaamisia syöttö-tulostusautomaatteja, jotka mallintavat dynaamisia järjestelmiä ja mahdollistavat automaattien luomisen ja tuhoamisen niitä laskettaessa, mikä lisää merkittävästi niiden ilmeisyyttä ja tuo formalismia lähemmäksi nykyaikaisia ​​ohjelmistoja . Dynaamiset I/O-automaatit voidaan yhdistää hierarkkiseen järjestelmään, ajaa rinnakkain, nimetä uudelleen ja piilottaa tapahtumia, luoda uusia automaatteja ja ylläpitää monotonisuutta kauttakirjoituksensemanttisen [4] .

Automaattiteorian merkittävän panoksen lisäksi Nancy Lynch kirjoitti useita kirjoja, joiden joukossa on tunnettu oppikirja hajautetuista algoritmeista [5] , joka on tällä hetkellä hieman vanhentunut ja jota käytetään edelleen koulutusprosessissa, mutta joka on korvattu. esimerkiksi W. Fokkikin oppikirja [6] , joka tarjoaa nykyaikaisemman ja tuoreemman kuvan tälle nopeasti kasvavalle alalle.

Nancy Lynchin opinnäytetyö oli nimeltään Relativization of the Theory of Computational Complexity , 1972 [7] .  Lynch on kirjoittanut ja ollut mukana kirjoittamassa yli 100 aikakauslehtiartikkelia ja lähes 200 konferenssiartikkelia [8] . Hän ohjasi ainakin 28 menestyvää jatko-opiskelijaa [7] . Hän on myös Yhdysvaltain kansallisen tiedeakatemian (vuodesta 2016) [9] , US National Academy of Engineering -akatemian (vuodesta 2001) [10] ja Computing Machinery -järjestön (vuodesta 1997) [11] jäsen ja on voittanut useita arvostettuja akateemisia palkintoja.

Muistiinpanot

1. ↑ IEEE Emanuel R. Piore -palkinnon saajat (linkki ei saatavilla) . IEEE . Käyttöpäivä: 31. joulukuuta 2010. Arkistoitu alkuperäisestä 24. marraskuuta 2010. (määrätön) 
2. ↑ Nancy A. Lynch, Mark R. Tuttle, Hierarchical Correctness Proofs for Distributed Algorithms . PODC 1987: 137-151.
3. ↑ Nancy A. Lynch, syöttö- /tulostusautomaatti: perus, ajastettu, hybridi, todennäköisyyslaskenta, dynaaminen, ... , CONCUR 2003: 187-188.
4. ↑ Paul C. Attie, Nancy A. Lynch, Dynaaminen syöttö-/tulostusautomaatti: Formaalinen ja koostumusmalli dynaamisille järjestelmille . inf. Comput. 249:28-75 (2016) ( Preprint arkistoitu 6. heinäkuuta 2022 Wayback Machinessa )
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 Arkistoitu 22. tammikuuta 2017 the Wayback Machine on the Mathematics Genealogy Project .
8. ↑ Nancy A Lynch Arkistoitu 11. kesäkuuta 2016 Wayback Machinessa DBLP : llä .
9. ↑ Nancy A. Lynch Arkistoitu 24. maaliskuuta 2019 Wayback Machinessa  
10. ↑ NAE:n jäsenhakemisto - Dr. Nancy A. Lynch . NAE . Haettu 31. joulukuuta 2010. Arkistoitu alkuperäisestä 8. huhtikuuta 2019. (määrätön)
11. ↑ Nancy A Lynch - palkinnon voittaja . Tietotekniikan liitto . Haettu 31. lokakuuta 2013. Arkistoitu alkuperäisestä 25. joulukuuta 2016. (määrätön)

Temaattiset sivustot	Google tutkija Matemaattinen sukututkimus ORCID zbMATH Avoinna
Bibliografisissa luetteloissa 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