历史上的软件工程（推荐名单）
－－软件工程中外名家
部分内容摘自 http://web.engr.illinois.edu/~taoxie/seawards.html
ACM. Turing Award Recipients (Related to Software Engineering & Program
Language)
1966 A.J. Perlis
1972 E.W. Dijkstra
1974 Donald E. Knuth
1977 John Backus
1978 Robert W. Floyd
1979 Kenneth E. Iverson
1980 C. Antony R. Hoare
1984 Niklaus Wirth
1986 John Hopcroft
1991 Robin Milner
1995 Manuel Blum
1996 Amir Pnueli
1999 Frederick P. Brooks
2001 Ole-Johan Dahl Kristen Nygaard
2003 Alan Kay
2005 Peter Naur
2006 Frances E Allen
2007 Edmund M Clarke E Allen Emerson Joseph Sifakis
2008 Barbara H Liskov
ACM Fellows
ACM Fellows (SIGPLAN) ACM Fellows (SIGSOFT)
Established by Council in 1993 to recognize and honor outstanding ACM
members for their achievements in computer science and information technology and
for their significant contributions to the mission of the ACM.
ACM Fellows related to Software Engineering or Program Languages:
1994 ACM Fellows
Frances E. Allen (IBM Research, 94)
Frederick P. Brooks (UNC, 94) Daniel G. Bobrow (PARC, 94) Richard R.
Burton (PARC, 94)
L. Peter Deutsch (Aladdin, 94) Edsger W. Dijkstra (UT Austin, 94)
Robert W. Floyd (Stanford, 94) Frank L. Friedman (Temple U., 94)
Adele J. Goldberg (??, 94) Susan Graham (UC Berkeley, 94)
David
J. Gries (Cornell U., 94)
David Harel (Weizmann Institute of Science, 94) John Hopcroft (Columbia U., 94)
Ronald M Kaplan (PARC, 94) Donald E. Knuth (Stanford U., 94)
Manny Lehman (Middlesex U., 94) Joyce Currie Little ( Towson U., 94)
Zohar Manna (Stanford U., 94) John McCarthy (Stanford U.,
94) Robin Milner (U. Cambridge, 94)
Roger M. Needham (MSR, 94) Peter G. Neumann (SRI, 94)
John Ousterhout (Electric Cloud, 94) Susan S. Owicki (??, 94)
David L. Parnas (U. Limerick, 94)
Jean Sammet (IBM, 04) Dana S. Scott (CMU, 94) Herbert A. Simon (CMU,
94) Guy L. Steele, Jr. (Sun, 94) Bjarne Stroustrup (TAMU, 94) Gerald
J. Sussman (MIT, 94)
Andries van Dam (Brown U., 94)
Niklaus E. Wirth (ETH Zurich, 94) William A. Wulf (U. Virginia, 94)
1995 ACM Fellows
Paul Abrahams (?, 95) Robert L. Ashenhurst (U. Chicago, 95)
Lawrence Bernstein (Stevens Institute of Technology, 95) Grady Booch (IBM,
95)
Larry E. Druffel (ACRA, 95) Stuart Feldman (IBM Research,
95) John Goodenough (CMU, 95)
Ken Kennedy (Rice U.,
95) Nancy Leveson (MIT, 95)
Fred B. Schneider (Cornell U., 95) Larry Snyder (U. Washington,
95) Norihisa Suzuki (Zaxel, 95)
Jeffrey Ullman (Stanford U., 95)
Chris S. Wallace (Monash U., 95) Peter Wegner (Brown U., 95)
1996 ACM Fellows
Rick Adrion (U. Mass, 96) Alfred V. Aho (Columbia U., 96)
Jeanne Ferrante (UCSD, 96) Dennis J. Frailey (SMU, 94)
Anita K. Jones (U. Virginia, 96) Barbara Liskov (MIT, 96)
Ravi Sethi (Avaya Labs, 96) Mary Shaw (CMU, 96)
Tony Wasserman (Software Methods and Tools, 96) Mark Wegman (IBM
Research, 96)
1997 ACM Fellows
Victor Basili (U. Maryland, 97) Barry Boehm (USC, 97)
Yuri Gurevich (MSR, 97) John L Hennessy (Stanford U,
97) Richard Kemmerer (UCSB, 97)
Richard Lipton (Georgia Tech, 97) Nancy Lynch (MIT, 97)
Ronald H Perrott (Queen's U. Belfast, 97) Vaughan Pratt (Stanford U., 97)
Alan C. Shaw (U. Washington, 97) Elaine Weyuker (AT&T Labs, 97)
1998 ACM Fellows
Gregory R Andrews (U. Arizona, 98) Andrew Appel (Princeton U., 98)
James C. Browne (UT Austin, 98)
Robert Cartwright (Rice U., 98) Peter P. Chen (Louisiana State U.,
98) Edmund Clarke (CMU, 98) Lori Clarke (U. Mass, 98)
Richard Gabriel (Sun Labs, 98) James Horning (InterTrust, 98) Neil Jones (U.
Copenhagen, 98)
David Notkin (U. Washington, 98) Leon Osterweil (U. Mass,
98) Barbara Ryder (Rutgers U., 98) Eugene Spafford (Purdue U., 98)
Richard Taylor (UC Irvine, 98) Albert J Turner (Clemson U, 98)
Jeannette Wing (CMU, 98) Mihalis Yannakakis (Columbia U., 98) Stuart
H. Zweben (Ohio State U., 98)s
1999 ACM Fellow
John D Gannon (U. Maryland, 99) Carlo Ghezzi (Politecnico di Milano,
99) Robert Glass (Computing Trends, 99)
Larry Masinter (Adobe, 99) David MacQueen (Bell Labs, 99)
Mary Lou Soffa (U. Virginia, 99) Koji Torii (Nara Institute of Science and
Technology, 99)
2000 ACM Fellows
Randal E. Bryant (CMU, 00) Peter A. Freeman (Georgia Tech, 00) Axel
van Lamsweerde (U. Catholique de Louvain, Belgium, 00)
Albert R. Meyer (MIT, 00) Jim Morris (CMU, 00)
Moshe Y. Vardi (Rice U., 00)
David S. Warren (SUNY Stony Brook, 00) Reinhard Wilhelm (U. des Saarlandes,
00)
2001 ACM Fellows
Alan Borning (U. Washington, 01)
Richard B Kieburtz (OGI, 01) Jeffrey Kramer (Imperial College, 01)
Barton Miller (U Wisconsin, 01) John C. Reynolds (CMU,
01) Zave Pamela (AT&T Labs, 02)
2002 ACM Fellows
David Culler (UC Berkely, 02)
02) Wen-Mei Hwu (UIUC, 02)
Susan J. Eggers (U. Washington,
2003 ACM Fellows
Richard DeMillo (Georgia Tech, 04)
Brent Hailpern (IBM Research, 04) Mary Jean Harrold (Georgia Tech, 04)
2004 ACM Fellows
Luca Cardelli (MSR, 05) Simon Peyton Jones (MSR, 05) Peter Lee (CMU, 05)
Benjamin W. Wah (UIUC, 05) David S. Wise (Indiana U., 05)
2005 ACM Fellows
Dines Bjorner (06) Keith Cooper (Rice U., 06) David Dill (Stanford U.,
06) Robert Harper (CMU, 06)
Brad Myers (CMU, 06) Thomas Reps (U. Wisconsin, 06) Liu Sha (UIUC, 06)
2006 ACM Fellows
Arvind (MIT, 06)
Matthias Felleisen (Northeastern U., 06) John Guttag (MIT,
06)
Thomas A. Henzinger (EPFL, 06) James R. Larus (Microsoft Research, 06) J
Strother Moore (UT Austin, 06)
Peter Norvig (Google, 06) Alfred Z Spector (IBM Research, 06) Alex Wolf (U.
Colorado, Imperial College London)
2007 ACM Fellows
Alur, Rajeev
Constantine, Larry L.
Moss, J. Eliot B. Odersky, Martin
Pnueli, Amir
Wadler, Philip
Gao, Guang R.
Lam, Monica S.
Wand, Mitchell
2008 ACM Fellows
Abadi, Martin Abowd, Gregory D.
Aiken, Alexander S.
k W.
Humphrey, Watts S.
Kay, Alan C.
McKinley, Kathryn S.
Meyer, Bertrand
hn C.
Randell, Brian
Sarkar, Vivek
Davidson, Jac
Mitchell, Jo
2009 ACM Fellows
David F. Bacon, Gerhard Fischer, Rajiv Gupta, Martin C. Rinard, Laurie
Hendren, R.K. Shyamasundar, Urs Hoelzle
2010 ACM Fellows
David A Abramson, Douglas C. Burger, Ron K. Cytron, Kathleen Fisher, John
Launchbury
Dieter Rombach, David S. Rosenblum, Josep Torrellas, David Ungar, Andreas
Zeller
2011 ACM Fellows
Thomas J. Ball, Gerard J. Holzmann, Frank Kenneth Zadeck
2012 ACM Fellows
Benjamin C Pierce, David Paul Grove, Gregor Kiczales, Hans-J.
Boehm, Kathy Yelick, Walter F. Tichy
IEEE Fellows related to Software Engineering or Program Languages/Compilers:
Conferred by the Board of Directors upon a person with an extraordinary record of
accomplishments in any of the IEEE fields of interest.
1968: Marvin Minsky (MIT)
1970: Heinz Zemanek (IBM)
1972: Watts S. Humphrey (CMU SEI)
1973: Stephen S. Yau (Arizona State U.)
1978: CV Ramamoorthy (UC Berkeley)
1983: Manuel Blum (UC Berkeley)
1985: Per Brinch Hansen (Syracuse U.) David J. Kuck (Intel)
1986: Manny Lehman (Middlesex U.)
1987: John D. Musa (Independent Consultant)
1988: Alfred V. Aho (Columbia U.) Laszlo A. (Les) Belady (Tech Innovation
Group) Fred Liguori (?)
1989: Amrit Goel (Syracuse U.) William Wulf (U. Virginia)
1990: Victor Basili (U. Maryland) Mary Shaw (CMU)
1991: Frances Allen (IBM Research) Stuart Feldman (IBM Research) John L.
Hennessy (Stanford U.) Jack Minker (U. Maryland) William E. Riddle (CMU
SEI) Larry Ruffel (SCRA)
1992: Barry W. Boehm (USC) Larry Snyder (U. Washington)
1993: Michael A. Harrison (UC Berkeley) Norman Schneidewind (Naval
Postgraduate School)
1994: Wen-Tsuen Chen (?) Alan Davis (U. Corolado)
1995: Arvind (MIT) Brent Hailpern (IBM Research) Ken Kennedy (Rice U.)
1996: Peter Freeman (Georgia Tech) Harold Lawson, Jr. (?) Jeffrey Tsai (U.
Illinois at Chicago) Tony Wasserman (Software Methods&Tools)
1997: Ram Chillarege (Chillarege) Anita Jones (U. Virginia) Eric Kronstadt
(IBM Research) Marvin Zelkowitz (U. Maryland)
1998: Doris L. Carver (Louisiana State U.) Wen-Mei Hwu (UIUC) Liu
Sha (UIUC) Dick Simmons (TAMU) Pen-Chung Yew (UMN)
1999: Jean-Luc Gaudiot (UC Irvine) Luqi (Naval Postgraduate
School) Rudrapatna Shyamasundar (Tata Institute of Fundamental Research)
2000: Tom DeMarco (Atlantic Systems Guild) David Padua (UIUC) Koji
Torii (Osaka U.)
2001: Karl Chang (Iowa State U.) William E. Howden (UCSD) Sy-Yen
Kuo (National Taiwan U.) Richard H. Thayer (Independent Consultant) Mladen A.
Vouk (NCSU)
2002: Gul Agha (UIUC) Vijay Vaishnavi (Georgia State U.)
2003: Steve Cross (CMU SEI) Susan Eggers (U. Washington) H. Dieter
Rombach (Technische U. Kaiserslautern) Leonard L. Tripp (Boeing) Elaine J.
Weyuker (AT&T Labs) Jeannette M. Wing (CMU) Xin Yao (U.
Birmingham) Fuqing Yang (Peking U.)
2004: Pankaj Jalote (IIT) Michael Lyu (CUHK) Raymond Paul (?) Ronald H
Perrott (Queen's U. Belfast) Mark Wegman (IBM Research)
2005: Dines Bjørner (U. Denmark) Roy Campbell (UIUC) Edmund
Clarke (CMU) Thomas M. Conte (NCSU) Jeanne Ferrante (UCSD) Hoang
Pham (Rutgers U.) Alfred Z. Spector (IBM Research) Bjarne Stroustrup (TAMU)
2006: Carlo Ghezzi (Politecnico di Milano) Thomas Henzinger (EPFL) Nancy
Mead (CMU) James Moore (Mitre) Douglass Post (LANL) David Rosenblum (U.
College London) Min Xie (National U. Singapore)
2007: Bill Curtis (Borland) Mehdi Jazayeri (U. Lugano, Switzerland)
2008: Rajeev Alur (U. Penn) Guang R. Gao (U. Delaware) Michael
Gschwind (IBM Research) Rajiv Gupta (UC Riverside) Phillip A.
Laplante (PSU) David Notkin (U. Washington) Anand Tripathi(U. Minnesota)
2009: Roger U. Fujii (Northrop Grumman), David Parnas (U. Limerick ,
Ireland), Fred B. Schneider (Cornell U.), Moshe Y. Vardi (Rice U.)
2010: E. Grady Booch (IBM), Lionel C. Briand (Simula Research Laboratory,
Norway), Douglas Burger (Microsoft Research), Eliot Moss (U. Mass), Jeffrey
Voas (SAIC)
2011: Lori A. Clarke (U. Mass) Mary Jean Harrold (Georgia Tech) Kathryn S.
McKinley (UT Austin) Guy Lewis Steele (Sun) Alexander Wolf (Imperial College
London) Liang-Jie Zhang (IBM Research)
2012: Susan L. Graham (UC Berkeley) William L. Scherlis (CMU)
2013: Matthew B. Dwyer (UNL) David Garlan (CMU) Brad A.
Myers (CMU) Mary Lou Soffa (U. Virginia)
ACM Distinguished Engineer, Scientist, or Member
2006 ACM Distinguished Engineers
David M. Ungar, Sun Microsystems Laboratories
2006 ACM Distinguished Scientists
George S. Avrunin, University of Massachusetts, Amherst
David F.Bacon, IBM Research
Hans-J. Boehm, HP Labs
Kathryn S. McKinley, The University of Texas at Austin
Vivek Sarkar, IBM T. J. Watson Research Center
2007 ACM Distinguished Scientists
Burke, Michael G, IBM T.J. Watson Research Center
Dwyer, Matthew B., University of Nebraska - Lincoln
Fisher, Kathleen, AT&T Labs
2008 ACM Distinguished Scientists
Chen, Yih-Farn Robin, AT&T Labs - Research
Cordy, James R., Queen's University
Hall, Robert J., AT&T Labs Research
ACM SIGSOFT Outstanding Research Award
1997 Barry Boehm
1998 David Parnas
1999 Niklaus Wirth
1999 Harlan Mills (one-time posthumous)
2000 Victor Basili
2001 Michael Jackson
2002 Gerard Holzmann
2003 Leon J. Osterweil
2004 Nancy Leveson
2005 Jeff Kramer and Jeff Magee
2006 David Harel
2007 Elaine J. Weyuker
2008 Axel van Lamsweerde
2009 Richard N. Taylor
2010 Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides (posthumously)
2011 David Garlan and Mary Shaw
海外华人（推荐名单）
zhendong su（UC Davis）
Tao Xie (UIUC)
Xiangyu Zhang (Purdure University)
Youtao Zhang (Pitt University)
Yuanyuan Zhou (UC SD)
中国（推荐名单）
徐家福
杨芙清
唐稚松
周巢尘
董蕴美
李未
陈火旺
朱三元
郑人杰
郑国梁
周伯生
孙永强
怀进鹏
梅宏
吕建
李宣东
。。。。