Nancy Lynch
Nancy Lynch | |
---|---|
Bizitza | |
Jaiotza | Brooklyn, 1948ko urtarrilaren 19a (76 urte) |
Herrialdea | Ameriketako Estatu Batuak |
Hezkuntza | |
Heziketa | Brooklyn College (en) Massachusettseko Teknologia Institutua |
Tesi zuzendaria | Albert R. Meyer (en) |
Doktorego ikaslea(k) | George Varghese (en) Seth Gilbert (en) Carolos Livadas (en) James Edward Burns (en) Alan David Fekete (en) Brian Anthony Coan (en) Roberto DePrisco (en) Rainer Gawlick (en) Kenneth Jerome Goldman (en) Henrik Jensen (en) Roger Igor Khazan (en) Victor M. Luchangco (en) Boaz Patt-Shamir (en) A. Isaac (Alain) Saias (en) Roberto Segala (en) Mark Anthony Shawn Smith (en) Jorgen Sogaard-Andersen (en) Eugene William Stark (en) Mark Rogers Tuttle (en) Jennifer Lundelius Welch (en) Sayan Mitra (en) Joshua Tauber (en) Calvin Charles Newport (en) Alejandro Cornejo Collado (en) Rotem Oshman (en) Mohsen Ghaffari (en) Tina Ann Nolte (en) Rui Fan (en) Cameron Musco (en) |
Hizkuntzak | ingelesa |
Jarduerak | |
Jarduerak | informatikaria, unibertsitateko irakaslea eta matematikaria |
Enplegatzailea(k) | Massachusettseko Teknologia Institutua Georgia Tech (en) |
Jasotako sariak | ikusi
|
Kidetza | Arteen eta Zientzien Ameriketako Estatu Batuetako Akademia Ingeniaritzako Akademia Nazionala Association for Computing Machinery Ameriketako Estatu Batuetako Zientzien Akademia Nazionala |
people.csail.mit.edu… |
Nancy Ann Lynch (1948ko urtarrilaren 19a) Massachusettseko Teknologia Institutuan afiliatutako informatika zientifikoa da.[1] NECeko Softwarearen Zientzia eta Ingeniaritzako irakaslea da EECS sailean, eta MITeko Informatika eta Adimen Artifizialeko Laborategiko Sistema Banatuen Teoria ikerketa-taldea zuzentzen du.
Hezkuntza eta lehen bizitza
Lynch Brooklynen jaio zen, eta bere prestakuntza akademikoa matematiketan izan zen. Brooklyn College eta MIT-era joan zen, non doktoretza jaso zuen. 1972an Albert R. Meyerren zuzendaritzapean.
Lana
Matematikaren eta konputazio-zientzien fakultatean lan egin zuen beste unibertsitate batzuetan, besteak beste, Tuftseko Unibertsitatean, Kaliforniako Hegoaldeko Unibertsitatean, Floridako Nazioarteko Unibertsitatean eta Georgiako Teknologia Institutuan (Georgia Tech), 1982an MITen fakultatean sartu aurretik. Ordutik, sistema banatu konplexuak ulertu eta eraikitzeko lanetan matematika aplikatzen aritu da.
Kontsentsu-arazoei buruz Michael J. Fischer eta Mike[2] Patersonekin 1985ean egindako lanak PODC Influ-Paper Award saria jaso zuen 2001ean.[3] Bere lanak erakutsi zuenez, sistema banatu asinkronoan, kontsentsua ezinezkoa da prozesadore bat izorratzen bada. Jennifer Welchek hauxe idatzi zuen bere ekarpenean: "emaitza horrek sekulako eragina izan du banatutako konputazioan, bai teorian bai praktikan. Sistemen diseinatzaileak motibatuta zeuden sistemen egoerari buruzko baieztapenak argitzeko".[3]
Banatutako algoritmoei eta ezintasun-emaitzei buruzko eta sistema banatuen modelazio formalari eta baliozkotzeari buruzko ikerketa-artikulu ugari idatzi ditu (ikusi, e.g., input/output automaton). "Algoritmo banatuak" izeneko testu-liburuaren egilea da. Zientzien Akademia Nazionaleko, Ingeniaritzako Akademia Nazionaleko eta ACMko kidea da.[4]
Onarpena
- 1997: ACMko kideak
- 2001: Dijkstra Paper saria PODCren konferentziaren partez
- 2001: Ingeniaritza Akademiako kide hautatu zuten, ordenagailu banatuaren oinarri teorikoak garatzeko. [5]
- 2006: Van Wijngaarden saria
- 2007: Knuth saria
- 2007: Dijkstra Paper saria PODCren konferentziaren partez
- 2010: IEEE Emanuel R. Piore saria [6]
- [7]: Athena irakaslea
- 2015: Zientzien Akademiako Nazioarteko Akademiak[8]
Erreferentziak
- ↑ Who's who of American women. Marquis Who's Who, 1973. p. 587.
- ↑ Fischer, M. J.; Lynch, N. A.; Paterson, M. S.. (1985). «Impossibility of distributed consensus with one faulty process» Journal of the ACM 32 (2): 374–382. doi:10.1145/3149.214121..
- ↑ a b PODC Influential Paper Award: 2001. .
- ↑ Nancy A Lynch – Award Winner. Association for Computing Machinery.
- ↑ NAE Members Directory - Dr. Nancy A. Lynch. NAE.
- ↑ IEEE Emanuel R. Piore Award Recipients. IEEE.
- ↑ Lynch named Athena Lecturer. MIT News 18 April 2012.
- ↑ National Academy of Sciences Members and Foreign Associates Elected. .
Bibliografia
- Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Atomic Transactions. San Mateo, California: Morgan Kaufmann. pp. 476. ISBN 9781558601048.
- Lynch, Nancy A. (1998). Distributed Algorithms (2nd ed.). San Francisco, California: Kaufmann. ISBN 978-1558603486.
- Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2011). The Theory of Timed I/O Automata (2nd ed.). San Rafael, California: Morgan & Claypool. p. 137. ISBN 9781608450039.
- Nancy, Lynch (1972). Relativization of the theory of computational complexity (Ph.D.). Massachusetts Institute of Technology. hdl:1721.1/12180.
- Nancy Lynch at the Mathematics Genealogy Project
- ↑ Fischer, M. J.; Lynch, N. A.; Paterson, M. S.. (1985). «Impossibility of distributed consensus with one faulty process» Journal of the ACM 32 (2): 374–382. doi:10.1145/3149.214121..
- ↑ Lynch, Nancy (1996). Distributed Algorithms. San Francisco, CA: Morgan Kaufmann Publishers. ISBN 978-1-55860-348-6.
Kanpo estekak
- Nancy Lynch-en orri nagusia MITen
- Nancy Lynch Celebration: Sixty and Beyond. . A series of invited lectures at PODC 2008 and CONCUR 2008.
- Datuak: Q11779