Nancy Lynch
Nancy Ann Lynch (1948) é uma informática estadunidense.
| Nancy Lynch | |
|---|---|
| Nascimento | 19 de janeiro de 1948 (76 anos) Brooklyn |
| Nacionalidade | estadunidense |
| Cidadania | Estados Unidos |
| Alma mater | Brooklyn College, Instituto de Tecnologia de Massachusetts |
| Ocupação | cientista de computação, professora universitária, matemática |
| Prêmios | Prêmio Dijkstra (2001), Prêmio Knuth (2007) |
| Empregador(a) | Instituto de Tecnologia de Massachusetts, Instituto de Tecnologia da Geórgia |
| Orientador(a)(es/s) | Albert R. Meyer |
| Instituições | Instituto de Tecnologia de Massachusetts |
| Campo(s) | ciência da computação |
| Tese | 1972: Relativization of the Theory of Computational Complexity |
| Página oficial | |
| http://people.csail.mit.edu/lynch | |
É professora do Instituto de Tecnologia de Massachusetts (MIT). Detém a cadeira NEC de Ciência do Software e Engenharia do Departamento de Engenharia Eletrônica e Ciência da Computação e dirige o grupo de pesquisas sobre Teoria de Sistemas Distribuidos do Laboratório de Ciência da Computação e Inteligência Artificial do MIT.
Premiações
- 2001: Prêmio Dijkstra
- 2001: Academia Nacional de Engenharia dos Estados Unidos
- 2006: Prêmio Wijngaarden
- 2007: Prêmio Knuth
- 2007: Prêmio Dijkstra
- 2010: Prêmio Emanuel R. Piore IEEE
Publicações
- Distributed Algorithms. Morgan Kaufmann, 1996
- com Michael Merritt, William Weihl, Alan Fekete: Atomic transactions. Morgan Kaufmann, 1994
- com Dilsun Kaynar, Roberto Segala, Frits Vaandrager: The theory of timed I/O automata. Morgan Kaufmann, 2006
- com Cynthia Dwork, Larry Stockmeyer: Consensus in the presence of partial synchrony, Journal of the ACM, Volume 35, 1988, p. 288–323
Ligações externas
- «Página pessoal no MIT» (em inglês)
- Worldcat
- «Nancy Lynch Celebration: Sixty and Beyond» A series of invited lectures at PODC 2008 and CONCUR 2008.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.