# List of members of the National Academy of Sciences (computer and information sciences)

This list is a subsection of theList of members of the National Academy of Sciences, which includes approximately 2,000 members and 350 foreign associates of theUnited StatesNational Academy of Sciences, each of whom is affiliated with one of 31 disciplinary sections. Each person's name, primary institution, and election year are given.

## Computer and information sciences

| Name | Institution | Year |
| Leonard Adleman | University of Southern California | 2006 |
| Frances E. Allen | IBM | 2010 |
| Bishnu Atal | AT&T Labs Research | 1993 |
| Gordon Bell | Microsoft Research | 2007 |
| Charles H. Bennett | IBM | 1997 |
| Timothy Berners-Lee | Massachusetts Institute of Technology | 2009 |
| Manuel Blum | Carnegie Mellon University | 2002 |
| Lewis M. Branscomb | Harvard University | 1970 |
| Fred Brooks (d) | University of North Carolina at Chapel Hill | 2001 |
| Stephen Cook | University of Toronto | 1985 |
| Edward David | EED, Inc. | 1970 |
| Cynthia Dwork | Microsoft Research | 2014 |
| Robert Fano | Massachusetts Institute of Technology | 1978 |
| G. David Forney | Motorola | 2003 |
| Robert Gallager | Massachusetts Institute of Technology | 1992 |
| Shafi Goldwasser | Massachusetts Institute of Technology | 2004 |
| Robert B. Griffiths | Carnegie Mellon University | 1987 |
| Juris Hartmanis | Cornell University | 2013 |
| John L. Hennessy | Stanford University | 2002 |
| John Hopcroft | Cornell University | 2009 |
| Robert E. Kahn | Corporation for National Research Initiatives | 2015 |
| Thomas Kailath | Stanford University | 2000 |
| Richard Karp | International Computer Science Institute | 1980 |
| Jon Kleinberg | Cornell University | 2011 |
| Donald Knuth | Stanford University | 1975 |
| Leslie Lamport | Microsoft Research | 2011 |
| Butler Lampson | Microsoft | 2005 |
| F. Thomson Leighton | MIT and Akamai | 2008 |
| Leonid Levin | Boston University | 2019 |
| Barbara Liskov | Massachusetts Institute of Technology | 2012 |
| Nancy Lynch | Massachusetts Institute of Technology | 2016 |
| Kurt Mehlhorn | Max Planck Institute for Informatics | 2015 |
| Silvio Micali | Massachusetts Institute of Technology | 2007 |
| Christos Papadimitriou | University of California, Berkeley | 2009 |
| David Patterson | University of California, Berkeley | 2006 |
| Judea Pearl | University of California, Los Angeles | 2014 |
| William H. Press | University of Texas at Austin | 1994 |
| Michael O. Rabin | Harvard University | 1984 |
| Lawrence Rabiner | Rutgers University | 1990 |
| Ronald Rivest | Massachusetts Institute of Technology | 2004 |
| Dana Scott | Carnegie Mellon University | 1988 |
| Adi Shamir | Weizmann Institute of Science | 2005 |
| Peter Shor | Massachusetts Institute of Technology | 2002 |
| Ivan Sutherland | Sun Microsystems, Inc. | 1978 |
| Éva Tardos | Cornell University | 2013 |
| Robert Tarjan | Princeton University | 1987 |
| Ken Thompson | Bell Laboratories, Lucent Technologies | 1985 |
| Leslie Valiant | Harvard University | 2001 |
| Moshe Vardi | Rice University | 2015 |
| Sergio Verdú | Princeton University | 2014 |
| Andrew Viterbi | Viterbi Group, LLC | 1996 |
| Avi Wigderson | Institute for Advanced Study | 2013 |
| Shmuel Winograd | IBM | 1978 |
| Andrew Yao | Tsinghua University | 1998 |
| Jacob Ziv | Technion Israel Institute of Technology | 2004 |