利用者:Trunk5772/Nancy Lynch
Nancy Ann Lynch (born January 19, 1948)[1] is a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the Theory of Distributed Systems research group at MIT's Computer Science and Artificial Intelligence Laboratory.
She is the author of numerous research articles about distributed algorithms and impossibility results, and about formal modeling and validation of distributed systems (see, e.g., input/output automaton). She is the author of the graduate textbook "Distributed Algorithms".[2] She is a member of the National Academy of Sciences, the National Academy of Engineering, and an ACM Fellow.[3]
Lynch was born in Brooklyn, and her academic training was in mathematics, at Brooklyn College and MIT, where she received her Ph.D. in 1972 under the supervision of Albert R. Meyer.[4] She served on the math and computer science faculty at several other universities, including Tufts University, the University of Southern California and Georgia Tech, prior to joining the MIT faculty in 1982. Since then, she has been working on applying mathematics to the tasks of understanding and constructing complex distributed systems.
Recognition
[編集]- 1997: ACM Fellow
- 2001: Dijkstra Prize
- 2001: National Academy of Engineering[5]
- 2006: Van Wijngaarden Award
- 2007: Knuth Prize
- 2007: Dijkstra Prize
- 2010: IEEE Emanuel R. Piore Award[6]
- 2012: Athena Lecturer[7]
- 2015: National Academy of Sciences[8]
References
[編集]- ^ Who's who of American women.
- ^ Lynch, Nancy (1996). Distributed Algorithms. San Francisco, CA: Morgan Kaufmann Publishers. ISBN 978-1-55860-348-6
- ^ “Nancy A Lynch – Award Winner”. Association for Computing Machinery. 31 October 2013閲覧。
- ^ Trunk5772/Nancy Lynch - Mathematics Genealogy Project
- ^ “NAE Members Directory - Dr. Nancy A. Lynch”. NAE. December 31, 2010閲覧。
- ^ “IEEE Emanuel R. Piore Award Recipients”. IEEE. December 31, 2010閲覧。
- ^ “Lynch named Athena Lecturer”. MIT News (18 April 2012). 31 October 2013閲覧。
- ^ “National Academy of Sciences Members and Foreign Associates Elected”. 2016年5月5日閲覧。
External links
[編集]- Nancy Lynch's home page at MIT
- 図書館にあるTrunk5772/Nancy Lynchに関係する蔵書一覧 - WorldCatカタログ
- “Nancy Lynch Celebration: Sixty and Beyond”. Template:Cite webの呼び出しエラー：引数 accessdate は必須です。 A series of invited lectures at PODC 2008 and CONCUR 2008.
[[Category:1948年生]] [[Category:アメリカ合衆国の計算機科学者]] [[Category:ACMフェロー]] [[Category:ジョージア工科大学の教員]] [[Category:存命人物]] [[Category:マサチューセッツ工科大学の教員]]