Lynch, Nancy Ann

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 8. září 2020; kontroly vyžadují 3 úpravy .
Nancy Ann Lynchová
Nancy Ann Lynchová
Datum narození 19. ledna 1948( 1948-01-19 ) (74 let)
Místo narození
Země  USA
Vědecká sféra Informatika
Místo výkonu práce Trsy , jih Kalifornie , Georgia , Massachusetts
Alma mater Massachusetts Institute of Technology
Akademický titul Ph.D
Akademický titul Profesor
vědecký poradce A. R. da Silva Mayer
známý jako autor I/O automatů
Ocenění a ceny Piorova cena (2010) [1]
Cena Dijkstra (2001, 2007)
Knuthova cena (2007)
Van Wiingaardenova cena (2006)
webová stránka people.csail.mit.edu/lyn…

Nancy Ann Lynch ( eng.  Nancy Ann Lynch ; narozena 19. ledna 1948) je americká vědkyně, profesorka počítačových věd a inženýrství na Massachusetts Institute of Technology , nejlépe známá pro I/O automaty  - zobecnění automatů Mealy . k distribuovaným algoritmům , které umožňují formálně demonstrovat jejich správnost pomocí hierarchických důkazů [2] . K dnešnímu dni existuje mnoho druhů I/O automatů: dočasné , hybridní , pravděpodobnostní a dynamické [3] , všechny vytvořené samotnou Lynch a jejími spolupracovníky. Jako poslední byly pro rok 2016 navrženy dynamické vstupně-výstupní automaty, které modelují dynamické systémy a umožňují vytvářet a ničit automaty při jejich výpočtu, což výrazně zvyšuje jejich expresivitu a přibližuje formalismus modernímu softwaru . Dynamické I/O automaty lze kombinovat do hierarchického systému, spouštět paralelně, přejmenovávat a skrývat události, generovat nové automaty a udržovat monotónnost typovánísémantickéhoprostřednictvím [4] .

Kromě významného příspěvku k teorii automatů napsala Nancy Lynch několik knih, mezi nimi i známá učebnice distribuovaných algoritmů [5] , která je v současné době mírně zastaralá a stále se používá ve vzdělávacím procesu, ale byla nahrazena např. například učebnicí W. Fokkinka [6] , která nabízí modernější a svěží pohled na tento rychle rostoucí obor.

Práce Nancy Lynch se jmenovala Relativizace teorie výpočetní složitosti , 1972 [7] .  Lynch je autorem a spoluautorem více než 100 článků v časopisech a téměř 200 článků z konferencí [8] . Dohlížela na nejméně 28 úspěšných postgraduálních studentů [7] . Je také členkou Národní akademie věd USA (od roku 2016) [9] , Národní akademie inženýrství USA (od roku 2001) [10] a Asociace pro výpočetní techniku ​​(od roku 1997) [11] a získala ocenění řadu prestižních akademických ocenění.

Poznámky

  1. ↑ Příjemci ocenění IEEE Emanuel R. Piore (odkaz není k dispozici) . IEEE . Datum přístupu: 31. prosince 2010. Archivováno z originálu 24. listopadu 2010. 
  2. ↑ Nancy A. Lynch, Mark R. Tuttle, Hierarchical Correctness Proofs for Distributed Algorithms . PODC 1987: 137-151.
  3. ↑ Nancy A. Lynch, Input/Output Automaty: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... , CONCUR 2003: 187-188.
  4. ↑ Paul C. Attie, Nancy A. Lynch, Dynamické vstupní/výstupní automaty: Formální a kompoziční model pro dynamické systémy . inf. Počítat. 249:28-75 (2016) (Předtisk archivován 6. července 2022 na 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 Archivováno 22. ledna 2017 na Wayback Machine na projektu Mathematics Genealogy Project .
  8. ↑ Nancy A Lynch Archivováno 11. června 2016 na Wayback Machine na DBLP .
  9. ↑ Nancy A. Lynch Archivováno 24. března 2019 na Wayback Machine  
  10. ↑ Adresář členů NAE - Dr. Nancy A. Lynchová . NAE . Získáno 31. prosince 2010. Archivováno z originálu 8. dubna 2019.
  11. ↑ Nancy A Lynch - vítězka ceny . Asociace pro výpočetní techniku ​​. Získáno 31. října 2013. Archivováno z originálu 25. prosince 2016.
  Přejděte na položku Wikidata  Tematické stránky
 Vítězové Knuthovy ceny