Lynch, Nancy Ann

Nancy Ann Lynch ( eng.  Nancy Ann Lynch ; 1948. január 19. született) amerikai tudós, a Massachusetts Institute of Technology számítástechnikai és mérnöki professzora , legismertebb az I/O automatákról  – a Mealy automaták általánosításáról. elosztott algoritmusokhoz , amelyek lehetővé teszik helyességük formális bemutatását hierarchikus bizonyítások segítségével [2] . A mai napig az I/O automatáknak számos változata létezik: ideiglenes , hibrid , valószínűségi és dinamikus [3] , mindegyiket maga Lynch és munkatársai hozták létre. 2016-ra utoljára olyan dinamikus bemeneti-kimeneti automatákat javasoltak, amelyek modellezik a dinamikus rendszereket, és lehetővé teszik az automaták létrehozását és megsemmisítését a számítások során, ami jelentősen növeli kifejezőképességüket , és közelebb hozza a formalizmust a modern szoftverekhez . A dinamikus I/O automaták hierarchikus rendszerré kombinálhatók, párhuzamosan futhatnak, eseményeket nevezhetnek át és elrejthetnek, új automatákat generálhatnak, és a monotonitást csak a lehetséges eseménysorozatok halmazának csökkentésével lehet fenntartani a keresztültipizálásiszemantikai [4] .

Amellett, hogy jelentős mértékben hozzájárult az automaták elméletéhez , Nancy Lynch számos könyvet írt, köztük a jól ismert elosztott algoritmusok tankönyvét [5] , amely jelenleg kissé elavult, és még mindig az oktatási folyamatban használatos, de helyettesítve. például W. Fokkink tankönyve [6] , amely modernebb és frissebb képet ad erről a gyorsan növekvő területről.

Nancy Lynch tézise a számítási komplexitás elméletének relativizálása volt , 1972 [7] .  Lynch több mint 100 folyóiratcikk és közel 200 konferenciacikk szerzője és társszerzője [8] . Legalább 28 sikeres végzős hallgatót irányított [7] . Tagja az Egyesült Államok Nemzeti Tudományos Akadémiájának (2016 óta) [9] , az Egyesült Államok Nemzeti Mérnöki Akadémiájának (2001 óta) [10] és a Számítógépek Szövetségének (1997 óta) [11] , és díjat nyert. számos rangos tudományos díj.

Jegyzetek

1. ↑ IEEE Emanuel R. Piore-díjasok (a hivatkozás nem elérhető) . IEEE . Hozzáférés dátuma: 2010. december 31. Az eredetiből archiválva : 2010. november 24. (határozatlan) 
2. ↑ Nancy A. Lynch, Mark R. Tuttle, Hierarchikus helyességigazolások elosztott algoritmusokhoz . PODC 1987: 137-151.
3. ↑ Nancy A. Lynch, Input/Output Automata: Basic, Timed, Hibrid, Probabilistic, Dynamic, ... , CONCUR 2003: 187-188.
4. ↑ Paul C. Attie, Nancy A. Lynch, Dinamikus bemeneti/kimeneti automaták: Formális és kompozíciós modell dinamikus rendszerek számára . inf. Comput. 249:28-75 (2016) ( Preprint archiválva 2022. július 6-án a Wayback Machine -nél )
5. ↑ Nancy A. Lynch, Elosztott algoritmusok. 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 archiválva : 2017. január 22., a Wayback Machine on the Mathematics Genealogy Project .
8. ↑ Nancy A Lynch archiválva : 2016. június 11. a Wayback Machine -nél a DBLP -n .
9. ↑ Nancy A. Lynch archiválva : 2019. március 24. a Wayback Machine -nél  
10. ↑ NAE tagkönyvtár – Dr. Nancy A. Lynch . NAE . Letöltve: 2010. december 31. Az eredetiből archiválva : 2019. április 8.. (határozatlan)
11. ↑ Nancy A Lynch - díjnyertes . Számítógépek Szövetsége . Letöltve: 2013. október 31. Az eredetiből archiválva : 2016. december 25.. (határozatlan)

Tematikus oldalak	Google ösztöndíjas Matematikai genealógia ORCID zbMATH Nyitva
Bibliográfiai katalógusokban 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