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.
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.
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]