# List of members of the National Academy of Engineering (Computer science)

This list is a subsection of the List of members of the National Academy of Engineering, which includes over 2,000 current members of the United States National Academy of Engineering, each of whom is affiliated with one of 12 disciplinary sections. Each person's name, primary institution, and election year are given. This list does not include deceased members.
| Name | Institution | Year elected |
| Thomas E. Anderson | University of Washington | 2016 |
| Dan Boneh | Stanford | 2016 |
| Anil K. Jain | Michigan State University | 2016 |
| David S. Johnson | AT&T | 2016 |
| José M. F. Moura | Carnegie Mellon University | 2013 |
| Pradeep S. Sindhu | Juniper Networks | 2013 |
| Kai Li | Princeton University | 2012 |
| Henrique S. Malvar | Microsoft Research | 2012 |
| Philip M. Neches | Foundation Ventures, LLC. | 2012 |
| David E. Shaw | D. E. Shaw Research | 2012 |
| Scott J. Shenker | University of California, Berkeley | 2012 |
| Amit Singhal | Google, Inc. | 2012 |
| Michael S. Waterman | University of Southern California | 2012 |
| Susan T. Dumais | Microsoft Research | 2011 |
| Daphne Koller | Stanford University | 2011 |
| Henry M. Levy | University of Washington | 2011 |
| Jitendra Malik | University of California, Berkeley | 2011 |
| Nick McKeown | Stanford University | 2011 |
| Donald A. Norman | Northwestern University | 2011 |
| Aristides A. Requicha | University of Southern California | 2011 |
| Fred B. Schneider | Cornell University | 2011 |
| Mihalis Yannakakis | Columbia University | 2011 |
| Andrei Z. Broder | Google, Inc. | 2010 |
| Irene Greif | IBM Thomas J. Watson Research Center | 2010 |
| William D. Gropp | University of Illinois at Urbana–Champaign | 2010 |
| Laura M. Haas | IBM Almaden Research Center | 2010 |
| Michael I. Jordan | University of California, Berkeley | 2010 |
| Brewster Kahle | Internet Archive | 2010 |
| Tom M. Mitchell | Carnegie Mellon University | 2010 |
| Larry L. Peterson | Princeton University | 2010 |
| Ben Shneiderman | University of Maryland | 2010 |
| Mark N. Wegman | IBM Thomas J. Watson Research Center | 2010 |
| Sergey Brin | Google, Inc. | 2009 |
| Robert L. Cook | Pixar Animation Studios | 2009 |
| William J. Dally | Stanford University | 2009 |
| Jeffrey Dean | Google, Inc. | 2009 |
| Jack B. Dennis | Massachusetts Institute of Technology | 2009 |
| Deborah Estrin | University of California, Los Angeles | 2009 |
| Sanjay Ghemawat | Google, Inc. | 2009 |
| Paul C. Kocher | Cryptography Research Inc. | 2009 |
| C. Mohan | IBM Almaden Research Center | 2009 |
| Mendel Rosenblum | Stanford University | 2009 |
| Gurindar S. Sohi | University of Wisconsin, Madison | 2009 |
| John A. Swanson | Swanson Analysis Services, Inc. | 2009 |
| William L. Whittaker | Carnegie Mellon University | 2009 |
| Arvind | Massachusetts Institute of Technology | 2008 |
| Cynthia Dwork | Microsoft Corporation | 2008 |
| James D. Foley | Georgia Institute of Technology | 2008 |
| Barbara J. Grosz | Harvard University | 2008 |
| Donald J. Haderle | IBM Silicon Valley Laboratory | 2008 |
| Jon M. Kleinberg | Cornell University | 2008 |
| David L. Mills | University of Delaware | 2008 |
| Shree K. Nayar | Columbia University | 2008 |
| Prabhakar Raghavan | Yahoo! Labs | 2008 |
| Marc Raibert | Boston Dynamics | 2008 |
| Vladimir Rokhlin, Jr. | Yale University | 2008 |
| James A. Sethian | University of California, Berkeley | 2008 |
| Richard L. Sites | Google, Inc. | 2008 |
| Eric A. Brewer | University of California, Berkeley | 2007 |
| Stuart K. Card | Palo Alto Research Center, Inc. (PARC) | 2007 |
| George R. Cotter | Isologic, LLC | 2007 |
| Mark A. Horowitz | Stanford University | 2007 |
| Simon S. Lam | The University of Texas | 2007 |
| Teresa H. Meng | Stanford University | 2007 |
| Silvio Micali | Massachusetts Institute of Technology | 2007 |
| J. Strother Moore | The University of Texas | 2007 |
| Martin E. Newell | Adobe Systems Inc. | 2007 |
| Éva Tardos | Cornell University | 2007 |
| Sebastian Thrun | Stanford University | 2007 |
| Lloyd N. Trefethen | University of Oxford | 2007 |
| Jonathan S. Turner | Washington University in St. Louis | 2007 |
| Rakesh Agrawal | Microsoft Search Labs | 2006 |
| Manuel Blum | Carnegie Mellon University | 2006 |
| Danny Cohen | Oracle | 2006 |
| Robert P. Colwell | Defense Advanced Research Projects Agency | 2006 |
| Daniel W. Dobberpuhl | Independent consultant | 2006 |
| Susan J. Eggers | University of Washington | 2006 |
| Leslie Greengard | New York University | 2006 |
| M. Frans Kaashoek | Massachusetts Institute of Technology | 2006 |
| David B. Kirk | NVIDIA | 2006 |
| M. Douglas McIlroy | Dartmouth College | 2006 |
| Paul V. Mockapetris | Nominum, Inc. | 2006 |
| Eric Schmidt | Google, Inc. | 2006 |
| Alvy Ray Smith | ars longa | 2006 |
| Vladimir N. Vapnik | Columbia University | 2006 |
| Kurt Akeley | Lytro, Inc. | 2005 |
| Paul G. Allen | Vulcan Inc. | 2005 |
| Marsha Berger | New York University | 2005 |
| Edmund M. Clarke | Carnegie Mellon University | 2005 |
| David E. Culler | University of California, Berkeley | 2005 |
| Alexander G. Fraser | Fraser Research | 2005 |
| Shafrira Goldwasser | Massachusetts Institute of Technology | 2005 |
| Gerard J. Holzmann | Jet Propulsion Laboratory | 2005 |
| Michael Lesk | Rutgers, The State University of New Jersey | 2005 |
| Jonathan J. Rubinstein | Hewlett-Packard Company | 2005 |
| Frederick D. Weber | San Jose, CA | 2005 |
| Jennifer Widom | Stanford University | 2005 |
| Rodney A. Brooks | Massachusetts Institute of Technology | 2004 |
| Zvi Galil | Georgia Institute of Technology | 2004 |
| Van Jacobson | Palo Alto Research Center, Inc. (PARC) | 2004 |
| F. Thomson Leighton | Akamai Technologies, Inc. | 2004 |
| Joan L. Mitchell | InfoPrint Solutions Company | 2004 |
| Raymond E. Ozzie | Microsoft Corporation | 2004 |
| Lawrence E. Page | Google, Inc. | 2004 |
| Linda R. Petzold | University of California, Santa Barbara | 2004 |
| Alfred Z. Spector | Google, Inc. | 2004 |
| Gary K. Starkweather | Microsoft Corporation | 2004 |
| G.W. (Pete) Stewart | University of Maryland | 2004 |
| Bjarne Stroustrup | Texas A&M University | 2004 |
| Victor W. Zue | Massachusetts Institute of Technology | 2004 |
| Philip A. Bernstein | Microsoft Corporation | 2003 |
| Daniel S. Bricklin | Software Garden, Inc. | 2003 |
| Randal E. Bryant | Carnegie Mellon University | 2003 |
| Jeffrey P. Buzen | Independent consultant | 2003 |
| Hector Garcia-Molina | Stanford University | 2003 |
| Jeff Hawkins | Numenta | 2003 |
| Mary Jane Irwin | Pennsylvania State University | 2003 |
| Eugene W. Myers | Howard Hughes Medical Institute | 2003 |
| Richard F. Rashid | Microsoft Corporation | 2003 |
| Burton J. Smith | Microsoft Corporation | 2003 |
| J. Turner Whitted | Microsoft Research | 2003 |
| Michael J. Carey | University of California, Irvine | 2002 |
| John H. Crawford | Intel Corporation | 2002 |
| Howard Frank | University of Maryland | 2002 |
| Fred W. Glover | OptTek Systems, Inc. | 2002 |
| Berthold K.P. Horn | Massachusetts Institute of Technology | 2002 |
| James Kajiya | Microsoft Corporation | 2002 |
| Brian W. Kernighan | Princeton University | 2002 |
| Christos Papadimitriou | University of California, Berkeley | 2002 |
| Richard M. Stallman | Free Software Foundation, Inc. | 2002 |
| Moshe Y. Vardi | Rice University | 2002 |
| Elaine Weyuker | AT&T Labs Research | 2002 |
| Steve Wozniak | Wheels of Zeus | 2002 |
| Steven M. Bellovin | Columbia University | 2001 |
| Mark E. Dean | IBM Thomas J. Watson Research Center | 2001 |
| Jack J. Dongarra | The University of Tennessee | 2001 |
| W. Daniel Hillis | Applied Minds, LLC. | 2001 |
| Ray Kurzweil | Kurzweil Technologies, Inc. | 2001 |
| Edward D. Lazowska | University of Washington | 2001 |
| Nancy A. Lynch | Massachusetts Institute of Technology | 2001 |
| John K. Ousterhout | Stanford University | 2001 |
| S. Shankar Sastry | University of California, Berkeley | 2001 |
| Guy Lewis Steele, Jr. | Oracle Labs | 2001 |
| James F. Blinn | Consultant | 2000 |
| Edwin E. Catmull | Walt Disney and Pixar Animation Studios | 2000 |
| James W. Cooley | IBM Thomas J. Watson Research Center | 2000 |
| Ivan T. Frisch | New York University | 2000 |
| Randy H. Katz | University of California, Berkeley | 2000 |
| Nancy G. Leveson | Massachusetts Institute of Technology | 2000 |
| Daniel P. Siewiorek | Carnegie Mellon University | 2000 |
| Gerald J. Sussman | Massachusetts Institute of Technology | 2000 |
| Alfred V. Aho | Columbia University | 1999 |
| Wesley A. Clark | Clark, Rockoff and Associates | 1999 |
| James W. Demmel | University of California, Berkeley | 1999 |
| Pat Hanrahan | Stanford University | 1999 |
| Aravind K. Joshi | University of Pennsylvania | 1999 |
| William N. Joy | Kleiner Perkins Caufield & Byers | 1999 |
| Richard J. Lipton | Georgia Institute of Technology | 1999 |
| Patricia G. Selinger | IBM Silicon Valley Laboratory | 1999 |
| James H. Clark | Palm Beach, FL | 1998 |
| David J. DeWitt | University of Wisconsin-Madison and Microsoft Jim Gray Systems Lab | 1998 |
| Edward J. McCluskey | Stanford University | 1998 |
| Jerome H. Saltzer | Massachusetts Institute of Technology | 1998 |
| A. Sangiovanni-Vincentelli | University of California, Berkeley | 1998 |
| Ruzena Bajcsy | University of California, Berkeley | 1997 |
| Donald D. Chamberlin | IBM Almaden Research Center | 1997 |
| Henry Fuchs | University of North Carolina | 1997 |
| Robert M. Metcalfe | The University of Texas | 1997 |
| Cleve B. Moler | MathWorks | 1997 |
| Charles Simonyi | Intentional Software Corporation | 1997 |
| Robert F. Sproull | Oracle | 1997 |
| Michael Stonebraker | Massachusetts Institute of Technology | 1997 |
| Margaret H. Wright | New York University | 1997 |
| Leonard M. Adleman | University of Southern California | 1996 |
| Marc Auslander | IBM Thomas J. Watson Research Center | 1996 |
| Barry W. Boehm | University of Southern California | 1996 |
| David D. Clark | Massachusetts Institute of Technology | 1996 |
| Douglas C. Engelbart | Bootstrap Alliance/Doug Engelbart Institute | 1996 |
| William H. Gates, III | Microsoft Corporation | 1996 |
| Andries van Dam | Brown University | 1996 |
| John E. Warnock | Adobe Systems Inc. | 1996 |
| Vinton G. Cerf | Google, Inc. | 1995 |
| K. Mani Chandy | California Institute of Technology | 1995 |
| Charles M. Geschke | Adobe Systems Inc. | 1995 |
| James N. Gray | Microsoft Corporation | 1995 |
| Judea Pearl | University of California, Los Angeles | 1995 |
| Larry L. Smarr | University of California, San Diego | 1995 |
| Steven J. Wallach | Convey Computer | 1995 |
| Forest Baskett | New Enterprise Associates | 1994 |
| David N. Cutler | Microsoft Corporation | 1994 |
| Anita K. Jones | University of Virginia | 1994 |
| John R. Rice | Purdue University | 1994 |
| Charles P. Thacker | Microsoft Corporation | 1994 |
| Carl de Boor | University of Wisconsin, Madison | 1993 |
| Susan L. Graham | University of California, Berkeley | 1993 |
| H. T. Kung | Harvard University | 1993 |
| David A. Patterson | University of California, Berkeley | 1993 |
| Wm. A. Wulf | University of Virginia | 1993 |
| C. William Gear | NEC Research Institute, Inc. | 1992 |
| John L. Hennessy | Stanford University | 1992 |
| Richard M. Karp | International Computer Science Institute | 1992 |
| Charles L. Seitz | Researcher, writer and consultant | 1992 |
| Edward H. Sussenguth | International Business Machines Corporation | 1992 |
| Richard A. Tapia | Rice University | 1992 |
| Steve S. Chen | Information SuperGrid Technology Inc. | 1991 |
| Samuel H. Fuller | Analog Devices, Inc. | 1991 |
| Donald P. Greenberg | Cornell University | 1991 |
| David J. Kuck | Intel Corporation | 1991 |
| Leslie B. Lamport | Microsoft Research | 1991 |
| Robert W. Taylor | Compaq Computer Corporation | 1991 |
| David G. Messerschmitt | University of California, Berkeley | 1990 |
| Ronald L. Rivest | Massachusetts Institute of Technology | 1990 |
| George A. Bekey | University of Southern California | 1989 |
| Joel S. Birnbaum | Independent consultant | 1989 |
| Lynn A. Conway | University of Michigan | 1989 |
| Juris Hartmanis | Cornell University | 1989 |
| John E. Hopcroft | Cornell University | 1989 |
| Marvin L. Minsky | Massachusetts Institute of Technology | 1989 |
| Arun N. Netravali | OmniCapital, LLC | 1989 |
| Jeffrey D. Ullman | Stanford University | 1989 |
| Barbara H. Liskov | Massachusetts Institute of Technology | 1988 |
| Robert E. Tarjan | Princeton University | 1988 |
| Frances E. Allen | IBM Thomas J. Watson Research Center | 1987 |
| John A. Armstrong | International Business Machines Corporation | 1987 |
| Bishnu S. Atal | University of Washington | 1987 |
| Robert E. Kahn | Corporation for National Research Initiatives | 1987 |
| William F. Miller | Stanford University | 1987 |
| William D. Strecker | In-Q-Tel | 1987 |
| Edward A. Feigenbaum | Stanford University | 1986 |
| Joel Moses | Massachusetts Institute of Technology | 1986 |
| John William Poduska, Sr. | Novell, Inc. | 1986 |
| Joseph F. Traub | Columbia University | 1985 |
| Willis H. Ware | The RAND Corporation | 1985 |
| Alexander Feiner | AT&T Bell Laboratories | 1984 |
| Robert S. Hahn | Hahn Engineering, Inc. | 1984 |
| Butler W. Lampson | Microsoft Corporation | 1984 |
| Raj Reddy | Carnegie Mellon University | 1984 |
| Lawrence R. Rabiner | Rutgers, The State University of New Jersey | 1983 |
| Donald E. Knuth | Stanford University | 1981 |
| Erich Bloch | The Advisory Group at Huron | 1980 |
| Leonard Kleinrock | University of California, Los Angeles | 1980 |
| Ken Thompson | Bell Laboratories, Lucent Technologies | 1980 |
| Robert R. Everett | MITRE Corporation | 1979 |
| Irving S. Reed | University of Southern California | 1979 |
| Harvey Cragon | The University of Texas | 1978 |
| C. Gordon Bell | Microsoft Research | 1977 |
| Elwyn R. Berlekamp | Elwyn Berlekamp Inc. | 1977 |
| Frederick P. Brooks, Jr. | University of North Carolina | 1976 |
| Fernando J. Corbato | Massachusetts Institute of Technology | 1976 |
| Ruth M. Davis | Pymatuning Group, Inc. | 1976 |
| Arthur G. Anderson | International Business Machines Corporation | 1975 |
| Gerald P. Dinneen | Honeywell Inc. | 1975 |
| Ralph E. Gomory | Alfred P. Sloan Foundation | 1975 |
| Donald L. Bitzer | North Carolina State University | 1974 |
| Lewis M. Branscomb | University of California, San Diego | 1974 |
| Robert M. Fano | Massachusetts Institute of Technology | 1973 |
| Ivan E. Sutherland | Portland State University | 1973 |
| Lotfi A. Zadeh | University of California, Berkeley | 1973 |
| Gene M. Amdahl | Commercial Data Servers, Inc. | 1967 |
| Edward E. David, Jr. | Bedminster, NJ | 1966 |
| Harry Shum | Microsoft | 2017 |