Nancy Lynch
{{persona}}
'''Nancy A. Lynch''' {{nym}} ye una profesora del [[Institutu Teunolóxicu de Massachusetts]] (MIT). Ye una ''Profesora NEC'' d'[[Inxeniería de software]] nel ''Departamentu d'Inxeniería Llétrica y Ciencies de Computación'' (EECS), y la cabeza del grupu d'investigación de ''Teoría de [[Sistema distribuyíu|Sistemes Distribuyíos]]'' nel ''Llaboratoriu d'[[Intelixencia artificial|Intelixencia Artificial]] y [[Ciencia de la computación|Ciencies de la Computación]]'' nel MIT.

Ye autora de numberosos [[paper|artículos]] d'investigación sobre algoritmos distribuyíos y resultancies d'imposibilidá, y sobre modelamiento formal y validación de sistemes distribuyíos. Tamién ye l'autora de los llibros "Transaiciones Atómiques" y "Algoritmos Distribuyíos". Finalmente, ye miembru de la ''National Academy of Engineering'', y parte de l'[[Association for Computing Machinery|ACM]].

Nancy Lynch estudióse matemátiques nel [[Brooklyn College]] y nel MIT. Impartió clases nes facultaes de matemática y ciencies de computación de munches otres universidaes, incluyendo la [[Universidá Tufts]], la [[Universidá del Sur de California]] y l'[[Institutu Teunolóxicu de Georgia]], antes d'establecese na facultá del MIT en 1982. De magar, Lynch trabayó en matemática aplicada a xeres de comprensión y construcción de sistemes distribuyíos complexos.

== Reconocencies ==
*2001 [[Premiu Dijkstra]]
*2001 [[Academia Nacional d'Inxeniería]]
*2006 [[Premiu Wijngaarden]]
*2007 [[Premiu Knuth]]
*2007 [[Premiu Dijkstra]]
*2010: [[IEEE Emanuel R. Piore Award]]<ref>{{cita web|url=http://www.ieee.org/documents/piore_rl.pdf |títulu=IEEE Emanuel R. Piore Award Recipients |editorial=[[IEEE]] |fechaaccesu=31 d'avientu de 2010}}</ref>
* 2012: Athena Lecturer<ref>{{cita web|títulu=Lynch named Athena Lecturer|editorial=MIT News|fecha=18 d'abril de 2012|fechaaccesu=31 d'ochobre de 2013|url=http://web.mit.edu/newsoffice/2012/lynch-named-athena-lecturer.html}}</ref>

== Referencies ==
{{llistaref}}

== Enllaces esternos ==
*[http://theory.lcs.mit.edu/~lynch/ Páxina de Nancy Lynch nel MIT]


{{NF|1948||Lynch, Nancy}}







{{Tradubot|Nancy Lynch}}

[[Categoría:Informáticos teóricos d'Estaos Xuníos]]
[[Categoría:Científicos y científiques d'Estaos Xuníos]]
[[Categoría:Premiu Knuth]]
Nancy A. Lynch  ye una profesora del Institutu Teunolóxicu de Massachusetts (MIT). Ye una Profesora NEC d'Inxeniería de software nel Departamentu d'Inxeniería Llétrica y Ciencies de Computación (EECS), y la cabeza del grupu d'investigación de Teoría de Sistemes Distribuyíos nel Llaboratoriu d'Intelixencia Artificial y Ciencies de la Computación nel MIT.

Ye autora de numberosos artículos d'investigación sobre algoritmos distribuyíos y resultancies d'imposibilidá, y sobre modelamiento formal y validación de sistemes distribuyíos. Tamién ye l'autora de los llibros "Transaiciones Atómiques" y "Algoritmos Distribuyíos". Finalmente, ye miembru de la National Academy of Engineering, y parte de l'ACM.

Nancy Lynch estudióse matemátiques nel Brooklyn College y nel MIT. Impartió clases nes facultaes de matemática y ciencies de computación de munches otres universidaes, incluyendo la Universidá Tufts, la Universidá del Sur de California y l'Institutu Teunolóxicu de Georgia, antes d'establecese na facultá del MIT en 1982. De magar, Lynch trabayó en matemática aplicada a xeres de comprensión y construcción de sistemes distribuyíos complexos.

 Reconocencies 
2001 Premiu Dijkstra
2001 Academia Nacional d'Inxeniería
2006 Premiu Wijngaarden
2007 Premiu Knuth
2007 Premiu Dijkstra
2010: IEEE Emanuel R. Piore Award
 2012: Athena Lecturer

 Referencies 

 Enllaces esternos 
Páxina de Nancy Lynch nel MIT

Categoría:Informáticos teóricos d'Estaos Xuníos
Categoría:Científicos y científiques d'Estaos Xuníos
Categoría:Premiu Knuth