Nancy Lynch - Nancy Lynch
Nancy Lynch | |
---|---|
Née |
Brooklyn , État de New York
|
19 janvier 1948
mère nourricière |
Collège de Brooklyn MIT |
Connu pour | Systèmes distribués |
Récompenses |
ACM Fellow (1997) Prix Dijkstra (2001, 2007) Membre, National Academy of Engineering (2001) Prix Van Wijngaarden (2006) IEEE Prix Emanuel R. Piore (2010) Membre, National Academy of Sciences (2015) Prix Knuth (2007) |
Carrière scientifique | |
Des champs | L'informatique |
Établissements |
Université Tufts Université de Californie du Sud Georgia Tech MIT |
Thèse | Relativisation de la théorie de la complexité computationnelle (1972) |
Conseiller de doctorat | Albert R. Meyer |
Doctorants |
Cal Newport George Varghese |
Nancy Ann Lynch (née le 19 janvier 1948) est une mathématicienne, théoricienne et professeure au Massachusetts Institute of Technology . Elle est professeure NEC de science et d'ingénierie logicielles au département EECS et dirige le groupe de recherche « Théorie des systèmes distribués » au laboratoire d'informatique et d'intelligence artificielle du MIT.
Éducation et jeunesse
Lynch est née à Brooklyn et sa formation académique était en mathématiques. Elle a fréquenté le Brooklyn College et le MIT, où elle a obtenu son doctorat. en 1972 sous la direction d' Albert R. Meyer .
Travail
Elle a fait partie de la faculté de mathématiques et d'informatique de plusieurs autres universités, dont la Tufts University , la University of Southern California , la Florida International University et le Georgia Institute of Technology (Georgia Tech), avant de rejoindre la faculté du MIT en 1982. Depuis lors , elle a travaillé sur l'application des mathématiques aux tâches de compréhension et de construction de systèmes distribués complexes.
Son travail de 1985 avec Michael J. Fischer et Mike Paterson sur les problèmes de consensus a reçu le PODC Influential-Paper Award en 2001. Leur travail a montré que dans un système distribué asynchrone, le consensus est impossible s'il y a un processeur qui tombe en panne. Sur leur contribution, Jennifer Welch a écrit que « ce résultat a eu un impact monumental sur l'informatique distribuée, à la fois en théorie et en pratique. Les concepteurs de systèmes ont été motivés à clarifier leurs affirmations concernant les circonstances dans lesquelles les systèmes fonctionnent.
Elle est l'auteur de nombreux articles de recherche sur les algorithmes distribués et les résultats d'impossibilité, et sur la modélisation formelle et la validation des systèmes distribués (voir, par exemple, automate d'entrée/sortie ). Elle est l'auteur du manuel d'études supérieures "Distributed Algorithms". Elle est membre de la National Academy of Sciences, de la National Academy of Engineering et membre de l'ACM.
Reconnaissance
- 1997 : boursier ACM
- 2001 : Dijkstra Paper Prize de la conférence PODC
- 2001 : Élu membre de la National Academy of Engineering pour le développement des fondements théoriques de l'informatique distribuée.
- 2006 : Prix Van Wijngaarden
- 2007 : Prix Knuth
- 2007 : Dijkstra Paper Prize de la conférence PODC
- 2010 : Prix IEEE Emanuel R. Piore
- 2012 : Conférencière Athéna
- 2015 : Académie nationale des sciences
Bibliographie
Lynch, Nancy ; Merritt, Michael; Weihl, Guillaume ; Fekete, Alan (1994). Transactions atomiques . San Mateo, Californie : Morgan Kaufmann. p. 476 . ISBN 9781558601048.
Lynch, Nancy A. (1998). Algorithmes distribués (2e éd.). San Francisco, Californie : Kaufmann. ISBN 978-1558603486.
Kaynar, Dilsun ; Lynch, Nancy ; Segala, Roberto; Vaandrager, Frits (2011). La théorie des automates d'E/S temporisés (2e éd.). San Rafael, Californie : Morgan & Claypool. p. 137. ISBN 9781608450039.
Les références
Liens externes
- La page d'accueil de Nancy Lynch au MIT
- uvres de ou sur Nancy Lynch dans les bibliothèques ( catalogue WorldCat )
- "Célébration de Nancy Lynch : Soixante et au-delà" .Une série de conférences invitées à PODC 2008 et CONCUR 2008.