낸시 린치

Nancy Lynch
낸시 린치
태어난 (1948-01-19) 1948년 1월 19일 (74세)
모교브루클린 대학교
MIT
로 알려져 있다.분산형 시스템
수상 ACM 펠로우(1997)
디크스트라상(2001, 2007)
회원, 국립 공학 아카데미(2001)
반 빈가르덴상(2006)
IEEE 이매뉴얼 R. 피오레상(2010)
국립과학원 회원(2015년)
크누스상(2007)
과학 경력
필드컴퓨터 공학
기관터프츠 대학교
서던캘리포니아 대학교
조지아 테크
MIT
논문계산 복잡성 이론의 상대화 (1972)
박사학위 자문위원앨버트 R. 마이어
박사과정 학생칼 뉴포트
조지 바르헤스

낸시 앤 린치(Nancy Ann Lynch, 1948년 1월 19일 출생)[1]는 수학자, 이론가, 매사추세츠 공과대학교 교수다. 그녀는 EECS 부서에서 NEC 소프트웨어 과학 및 엔지니어링 교수로 MIT의 컴퓨터 과학 및 인공지능 연구소에서 "분산 시스템 이론" 연구 그룹을 이끌고 있다.

교육과 조기생활

린치는 브루클린에서 태어났고, 그녀의 학문적 훈련은 수학이었다. 그녀는 알버트 R의 감독 아래 1972년 박사학위를 받은 브루클린 대학과 MIT를 다녔다. 마이어.[2][3]

그녀는 1982년 MIT 교수진에 합류하기 전에 터프츠 대학교, 서던 캘리포니아 대학교, 플로리다 국제 대학교, 조지아 공과대학교(조지아 테크)를 포함한 몇몇 다른 대학에서 수학과 컴퓨터 과학 교수진을 지냈다. 그 이후 그녀는 복잡한 분산 시스템을 이해하고 구축해야 하는 과제에 수학을 적용시키는 일을 하고 있다.

1985년 마이클 J와 함께한 그녀의 작품. 피셔마이크 패터슨[4] 2001년 PODC 영향력 있는 신문상을 받았다.[5] 그들의 연구는 비동기 분산 시스템에서 하나의 프로세서가 충돌하면 합의는 불가능하다는 것을 보여주었다. 제니퍼 웰치는 이들의 기여에 대해 "이 결과는 이론과 실제 둘 다 분산 컴퓨팅에 엄청난 영향을 미쳤다"고 썼다. 시스템 설계자는 시스템이 어떤 상황에서 작동하는지와 관련된 자신의 주장을 명확히 하도록 동기를 부여받았다."[5]

그녀는 분산 알고리즘과 불가능성 결과, 그리고 분산 시스템의 공식 모델링과 검증(예: 입력/출력 자동화 참조)에 관한 수많은 연구 기사의 저자다. 그녀는 대학원 교과서 "분산 알고리즘"[6]의 저자다. 그녀는 National Academy of Sciences, National Academy of Engineering, ACM 펠로우 소속이다.[7]

인식

참고 문헌 목록

Lynch, Nancy; Merritt, Michael; Weihl, William; Fekete, Alan (1994). Atomic Transactions. San Mateo, California: Morgan Kaufmann. pp. 476. ISBN 9781558601048.

Lynch, Nancy A. (1998). Distributed Algorithms (2nd ed.). San Francisco, California: Kaufmann. ISBN 978-1558603486.

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

참조

  1. ^ 미국 여자들 중에 누가 누구야. 후작 후작 1973. 페이지 587.
  2. ^ Nancy, Lynch (1972). Relativization of the theory of computational complexity (Ph.D.). Massachusetts Institute of Technology. hdl:1721.1/12180.
  3. ^ 수학 계보 프로젝트 낸시 린치
  4. ^ Fischer, M. J.; Lynch, N. A.; Paterson, M. S. (1985). "Impossibility of distributed consensus with one faulty process" (PDF). Journal of the ACM. 32 (2): 374–382. doi:10.1145/3149.214121. S2CID 207660233.
  5. ^ a b "PODC Influential Paper Award: 2001". Retrieved 2009-07-06.
  6. ^ Lynch, Nancy (1996). Distributed Algorithms. San Francisco, CA: Morgan Kaufmann Publishers. ISBN 978-1-55860-348-6.
  7. ^ "Nancy A Lynch – Award Winner". Association for Computing Machinery. Retrieved 31 October 2013.
  8. ^ "NAE Members Directory - Dr. Nancy A. Lynch". NAE. Retrieved December 31, 2010.
  9. ^ "IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. Archived (PDF) from the original on February 17, 2013. Retrieved March 20, 2021.
  10. ^ "Lynch named Athena Lecturer". MIT News. 18 April 2012. Retrieved 31 October 2013.
  11. ^ "National Academy of Sciences Members and Foreign Associates Elected". Retrieved 2016-05-05.

외부 링크