Nancy Lynch - Nancy Lynch

Nancy Lynch
Nascer ( 1948/01/1948 )19 de janeiro de 1948 (73 anos)
Brooklyn , NY
Alma mater Brooklyn College
MIT
Conhecido por Sistemas distribuídos
Prêmios ACM Fellow (1997)
Dijkstra Prize (2001, 2007)
Membro, National Academy of Engineering (2001)
Van Wijngaarden Award (2006)
IEEE Emanuel R. Piore Award (2010)
Member, National Academy of Sciences (2015)
Knuth Prize (2007)
Carreira científica
Campos Ciência da Computação
Instituições Tufts University
University of Southern California
Georgia Tech
MIT
Tese Relativização da Teoria da Complexidade Computacional  (1972)
Orientador de doutorado Albert R. Meyer
Alunos de doutorado Cal Newport
George Varghese

Nancy Ann Lynch (nascida em 19 de janeiro de 1948) é matemática, teórica e professora do Instituto de Tecnologia de Massachusetts . Ela é Professora NEC de Ciência e Engenharia de Software no departamento do EECS e chefia o grupo de pesquisa "Teoria de Sistemas Distribuídos" no Laboratório de Ciência da Computação e Inteligência Artificial do MIT.

Educação e infância

Lynch nasceu no Brooklyn e sua formação acadêmica foi em matemática. Ela frequentou o Brooklyn College e o MIT, onde recebeu seu Ph.D. em 1972 sob a supervisão de Albert R. Meyer .

Trabalhar

Ela atuou no corpo docente de matemática e ciências da computação em várias outras universidades, incluindo a Tufts University , a University of Southern California , a Florida International University e o Georgia Institute of Technology (Georgia Tech), antes de ingressar no corpo docente do MIT em 1982. Desde então , ela tem trabalhado na aplicação da matemática às tarefas de compreensão e construção de sistemas distribuídos complexos.

Seu trabalho de 1985 com Michael J. Fischer e Mike Paterson em problemas de consenso recebeu o PODC Influential-Paper Award em 2001. Seu trabalho mostrou que em um sistema distribuído assíncrono, o consenso é impossível se houver um processador que trava. Em sua contribuição, Jennifer Welch escreveu que "este resultado teve um impacto monumental na computação distribuída, tanto na teoria quanto na prática. Os designers de sistemas foram motivados a esclarecer suas afirmações sobre em que circunstâncias os sistemas funcionam."

Ela é autora de vários artigos de pesquisa sobre algoritmos distribuídos e resultados de impossibilidade, e sobre modelagem formal e validação de sistemas distribuídos (consulte, por exemplo, autômato de entrada / saída ). Ela é autora do livro de pós-graduação "Algoritmos Distribuídos". Ela é membro da National Academy of Sciences, da National Academy of Engineering e ACM Fellow.

Reconhecimento

Bibliografia

Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Transações Atômicas . San Mateo, Califórnia: Morgan Kaufmann. pp.  476 . ISBN 9781558601048.

Lynch, Nancy A. (1998). Algoritmos Distribuídos (2ª ed.). São Francisco, Califórnia: Kaufmann. ISBN 978-1558603486.

Kaynar, Dilsun; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits (2011). The Theory of Timed I / O Automata (2ª ed.). San Rafael, Califórnia: Morgan & Claypool. p. 137. ISBN 9781608450039.

Referências

links externos