ACM Turing
Award Recipients
ACM Software
System Award Recipients
Members of National
Academy of
Engineering (NAE)
Members of National
Academy of Science (NAS)
Fellows of
American Academy of Arts and Sciences
Fellows of
American Association for the
Advancement of Science
ACM
Fellows
IEEE Fellows
ACM
Distinguished Engineer, Scientist, or Member
ACM
SIGSOFT Executive Committee
ACM
SIGSOFT Outstanding Research Award
ACM
SIGSOFT Outstanding Service Award
ICSE/FSE/ASE/ISSTA/PASTE
General/Program Chairs
Most
Influential Papers of ICSE
(International Conference on Software Engineering)
ACM
SIGSOFT Distinguished Paper Award
Automated
Software Engineering Conference Best Paper Award Candidate On-line
Bibliography
EASST
Best Paper Awards
NSF
Presidential Young Investigator
Award Recipients and NSF CAREER Award Recipients
Some
other fellowship awards
Harlan
D Mills Award from IEEE Technical
Council on Software Engineering
Stevens
Award
AITO
Dahl-Nygaard Prize Winners
ACM
Doctoral
Dissertation Award
ACM
Student Research Competition Grand
Finals
Other Awards
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
ACM Software
System Award Recipients (Related to Software
Engineering & Program Language)
1987 Adele
Goldberg
Daniel H.H.
Ingalls
Alan C.
Kay
Smalltalk
1992 Daniel G.
Bobrow
Richard R.
Burton
L. Peter
Deutsch
Ronald M.
Kaplan
Larry
Masinter Warren
Teitelman
Interlisp
2001 Gerard
Holzmann
SPIN
2002 James
A. Gosling
Java
2003 Stuart
Feldman
MAKE
2005 Robert S
Boyer Matt
Kaufmann J Strother
Moore
The
Boyer-Moore Theorem Prover
National
Academy
of Engineering (NAE) Members related to
Software Engineering or Program Languages/Compilers:
To honor extraordinary contributions to engineering and
society.
Note: The list is in the form of First Name Last Name
(Current
Affiliation, Inducted Year), where First Name links to the award
citation and
Last Name links to the homepage.
Frederick
P. Brooks
(UNC, 76)
John
Backus
(??, 77)
Donald
E. Knuth
(Stanford U., 81)
John
Hopcroft
(Columbia U., 87)
Frances
E.
Allen (IBM Research,
87)
John
McCarthy
(Stanford U., 87)
Barbara
Liskov
(MIT, 88)
Ken
Kennedy
(Rice U., 90)
Susan
Graham
(UC Berkeley, 93)
William
A. Wulf
(U. Virginia, 93)
Anita
K. Jones
(U. Virginia, 94)
Bill
Gates
(Microsoft,
96)
Barry Boehm
(USC, 96)
Steven
Jobs
(Apple, 97)
Alan
Kay
(Viewpoints Research, 97)
Alfred
V. Aho
(Columbia U., 99)
Richard
Lipton
(Georgia Tech, 99)
Amir
Pnueli
(Weizmann Institute
of Science, 99)
Nancy
Leveson
(MIT, 00)
Gerald
J. Sussman
(MIT, 00)
Nancy
Lynch
(MIT, 01)
John
Ousterhout
(Electric Cloud, 01)
Guy
L. Steele,
Jr. (Sun, 01)
Brian
Kernighan
(Princeton U., 02)
Richard
M. Stallman
(Free Software Foudation, 02)
Moshe
Y. Vardi
(Rice U., 02)
Elaine
Weyuker (AT&T
Labs, 02)
James
A. Gosling (Sun
Labs, 04)
Alfred
Z. Spector
(IBM
Research, 04)
Bjarne
Stroustrup (TAMU,
04)
Paul
G. Allen
(Vulcan, 05)
Edmund
Clarke
(CMU, 05)
David
Culler
(UC Berkely, 05)
Gerard
J. Holzmann
(NASA JPL, 05)
Manuel Blum
(CMU, 06)
Susan
J. Eggers
(U. Washington, 06)
Tony
Hoare
(Microsoft Research, 06)
National
Academy of Science (NAS) Members related
to Software Engineering or Program Languages/Compilers:
Award to recognize outstanding achievements in science.
John
Backus
(IBM, 74)
Donald
Knuth
(Stanford U., 75)
Dana
Scott (CMU,
88)
Frederick
Brooks
(UNC, 01)
Manuel
Blum
(UC Berkeley, 02)
American
Academy of Arts and Sciences Fellows
related to Software Engineering or Program Languages/Compilers:
An international learned society composed of the world's
leading
scientists, scholars, artists, business people, and public
leaders
Dana S. Scott (CMU,
72)
Donald E. Knuth
(Stanford U., 73)
John McCarthy
(Stanford U., 74)
Frederick P. Brooks
(UNC,
76)
John Backus
(??, 85)
John Hopcroft
(Columbia U., 87)
Albert R. Meyer
(MIT, 87)
Bill Gates
(Microsoft, 92)
Barbara Liskov
(MIT, 92)
Frances E. Allen
(IBM Research, 94)
Alan Kay
(Viewpoints Research, 94)
Manuel Blum
(UC Berkeley, 95)
Susan Graham
(UC Berkeley,
95)
William A. Wulf
(U.
Virginia, 95)
Gerald J. Sussman
(MIT, 96)
Steven Jobs
(Apple, 00)
Anita K. Jones
(U. Virginia, 00)
Guy L. Steele,
Jr. (Sun, 02)
Alfred V. Aho
(Columbia U., 03)
Richard M. Stallman
(Free
Software Foudation, 03)
John Guttag
(MIT, 05)
American
Association for
the Advancement of Science Fellows related to
Software Engineering or Program Languages/Compilers:
To recognize research in the
interaction of science,
technology and government in the United States and around the world.
Rick Adrion
(U Mass)
Manuel Blum
(UC Berkeley)
James C. Browne
(UT Austin)
Karl Chang
(Iowa State U.)
Richard DeMillo (Georgia
Tech)
Peter A. Freeman
(Georgia Tech)
Susan Graham
(UC Berkeley)
David J. Gries
(Cornell U.)
John Hopcroft
(Columbia U.)
Anita K. Jones
(U. Virginia)
Ken Kennedy
(Rice U.)
Michael R. Lyu
(Chinese U. of Hong Kong)
Peter G. Neumann
(SRI)
Calton Pu
(Georgia Tech)
Mary Shaw
(CMU)
Eugene Spafford
(Purdue U.)
Gerald J. Sussman
(MIT)
Jeffrey Tsai
(U. Illinois at Chicago)
Moshe Y. Vardi
(Rice U.)
Benjamin W. Wah
(UIUC)
William A. Wulf
(U. Virginia)
Stephen S. Yau
(Arizona State U.)
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) Susan
J. Eggers
(U.
Washington, 02) Wen-Mei
Hwu
(UIUC, 02)
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)
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)
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)
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
ACM
SIGSOFT Executive Committee
Chair:
William
Griswold
Vice
Chair: David
Rosenblum
Secretary/Treasurer: Metthew
B. Dwyer
At-Large Members: Laura K. Dillon
Andreas Zeller Paola
Inverardi
Newsletter
Editor: Will Tracz
International Liaison: Tetsuo
Tamai Wilhelm
Schäfer
Most
Recent Past Chair: Alexander Wolf
Past Chairs: David
Notkin Lori
Clarke Richard N. Taylor
Rick Adrion
Bill Riddle
Marvin
Zelkowitz Tony
Wasserman
ACM
SIGSOFT Outstanding Research Award
ACM
SIGSOFT Outstanding Service Award
ICSE/FSE/ASE/ISSTA/PASTE
General/Program Chairs
Software
Engineering Awards
SE Conference Map) Others