:CSAIL

Theory of Computation

  • ACM - A.M. Turing Award Ron Rivest (2002)
  • ACM Knuth Award
    Nancy Lynch (2007)
  • Athena Lecturer by the Association for Computing Machinery's Committee on Women in Computing (ACM-W)
    Nancy Lynch (2012-2013)
    Shafi Goldwasser (2008-2009)
  • Gödel Prize in Theoretical Computer Science
    Shafi Goldwasser (2001)
    Shafi Goldwasser (1993)
    Silvio Micali (1993)
    Peter Shor (1999)
    Madhu Sudan (2001)
  • International Mathematical Union - Rolf Nevanlinna Prize
    Madhu Sudan (2002)
    Peter Shor (1998)
  • AAAS (American Academy of Arts and Sciences):
    Bonnie Berger (2012)
    Peter Shor (2011)
    Madhu Sudan (2010)
    Nancy Lynch (2010)
    Shafi Goldwasser (2001)
    Tom Leighton (2003)
    Albert Meyer (1987)
    Silvio Micali (2003)
    Ron Rivest (1993)
  • ACM Fellow:
    David Karger (2009)
    Madhu Sudan (2009)
    Michel Goemans (2009)
    Bonnie Berger (2003)
    Charles Leiserson (2006)
    Nancy Lynch (1996)
    Albert Meyer (1999)
    Ron Rivest (1994)
  • IEEE Fellow:
    Madhu Sudan (2009)
  • International Congress of Mathematicians (ICM)
    • Section Speakers
      Bonnie Berger (1998)
      Michel Goemans (1998)
      Shafi Goldwasser (1990)
      Tom Leighton (1994)
      Albert Meyer (1974)
      Ronitt Rubinfeld (2006)
      Madhu Sudan (1998)
    • Plenary Speakers
      Shafi Goldwasser (2002)
      Peter Shor (1998)
  • John Simon Guggenheim Memorial Foundation - Fellow
    Michel Goemans (2007)
    Madhu Sudan (2005)
  • MacArthur Foundation - MacArthur Fellows Program
    Erik Demaine (2003)
    Peter Shor (1998)
  • National Academy of Sciences
    Shafi Goldwasser (2004)
    Silvio Micali (2007)
    Ron Rivest (2004)
    Peter Shor (2002)
  • National Academy of Engineering
    Shafi Goldwasser (2005)
    Tom Leighton (2004)
    Nancy Lynch (2001)
    Silvio Micali (2007)
    Ron Rivest (1990)
  • NSF Career Award
    Bonnie Berger (1995)
    Erik Demaine (2004)
    Michel Goemans (1996)
    Piotr Indyk (2002)
    David Karger (1995)
    Ronitt Rubinfeld (1996)
    Madhu Sudan (1999)
  • Packard Foundation - Packard Fellowship
    Piotr Indyk (2003)
    David Karger (1997)
  • Sloan Foundation - Research Fellowship
    Erik Demaine (2006)
    Michel Goemans (1995)
    Piotr Indyk (2003)
    Ronitt Rubinfeld (1996)

Teaching Awards:

  • MIT EECS - Spira Teaching Award
    Erik Demaine (2004)
  • MIT - Edgerton Award
    Erik Demaine (2005)
  • MIT School of Science - Dean's Educational and Student Advising Award
    Michel Goemans (2004)
  • MIT EECS - Adler Scholar
    Charles Leiserson (1991)
  • MIT EECS - MacVicar Faculty Fellow
    Charles Leiserson (2007)
  • Cornell - College of Engineering Teaching Award
    Ronitt Rubinfeld (1996)
  • Cornell Association for Computer Science Undergraduates - Faculty of the Year
    Ronitt Rubinfeld (1995)
Dissertation Awards (Faculty):
  • ACM Doctoral Dissertation Award
    David Karger (1994)
    Charles Leiserson (1982)
    Madhu Sudan (1993)
  • MIT EECS - George M. Sprowls Doctoral Dissertation Award
    Bonnie Berger (1990)
    Jon Kelner (2007)
  • NSERC - Doctoral Prize
    Erik Demaine (2003)
  • Sakrison Memorial Award (Ph.D Thesis, EECS, UC Berkeley)
    Scott Aaronson (2005)
    Madhu Sudan (1993)
  • UC Berkeley - C.V. Ramamoorthy Distinguished Research Award
    Scott Aaronson (2002)
  • Mathematical Programming Society - A.W. Tucker Prize
    Michel Goemans (1991)
    David Karger (1997)
Dissertation Awards (Students)
  • ACM Doctoral Dissertation
    Ben-Zion Chor (Series Winner) (1985)
    Venkatesan Guruswami (2002)
    Johan Hastad (1986)
    Joe Kilian (Series Winner)(1989)
    Robert Schapire (1991)
    Dan Spielman (1995)
    Salil Vadhan (2000)
  • Mathematical Programming Society - A.W. Tucker Prize
    David Williamson (1994)

Other Awards

  • ACM - Recognition of Service Award
    Charles Leiserson (1995)
    Charles Leiserson (1996)
    Charles Leiserson (1997)
  • ACM SIGACT - Distinguished Service Prize
    Tom Leighton (2006)
  • ACM - Grace Murray Hopper Award
    Shafi Goldwasser (1996)
  • ACM SIGPLAN International Conference on Functional Programming - 1st Prize in the ICPF Programming Contest
    Charles Leiserson (1998)
  • Association of American Publishers - Best 1990 Professional and Scholarly Book in Computer Science and Data Processing
    Charles Leiserson (1990)
  • Biophysical Society - Dayoff Award
    Bonnie Berger (1998)
  • Caltech Distinguished Alumnus Award
    Peter Shor (2007)
  • CWI Van Wijngaarden Award
    Nancy Lynch (2006)
  • AMS - Delbert Ray Fulkerson Prize
    Michel Goemans (2000)
  • Dickson Prize in Science
    Peter Shor (1999)
  • Edsger Dijkstra Prize in Distributed Computing
    Nir Shavit (2012)
    Nancy Lynch (2007)
    Nancy Lynch (2001)
  • Franklin Institute Benjamin Franklin Medal in Computer and Cognitive Science
    Shafi Goldwasser (2010)
  • Google - Research Award
    Charles Leiserson (2005)
  • IACR - Fellow
    Shafi Goldwasser (2007)
    Silvio Micali (2007)
    Ron Rivest (2004)
  • IBM - IBM University Partnership Faculty Award
    Michel Goemans (1999)
  • IEEE Computer Society - Distinguished Visitor for the Asia-Pacific Region
    Charles Leiserson (1996)
  • IEEE - Kobayashi Award
    Ronald Rivest (2000)
  • IEEE Piore Award\
    Shafi Goldwasser (2011)
    Nancy Lynch (2010)
  • Indian Institute of Technology at New Delhi - Distinguished Alumnus Award
    Madhu Sudan (2004)
  • International Computer Chess Assocation - 2nd Prize in the World Computer Chess Championship
    Charles Leiserson (1995)
  • International Symposium on Information Theory Plenary talk
    Shafi Goldwasser (2002)
    Peter Shor (2000)
  • International Quantum Communications Award
    Peter Shor (1998)
  • ISE New England - Rising Star Award
    Silvio Micali (2006)
  • John and Fannie Hertz Foundation - Hertz Fellowship
    Charles Leiserson (1977)
  • King Faisal International Prize in Science
    Peter Shor (2002)
  • Marconi Prize
    Rivest (2007)
  • Mass - High Tech Award
    Tom Leighton (2000)
  • Massachusetts Innovation and Technology Exchange - Lifetime member
    Ronald Rivest (2005)
  • MIT/50K - 1K Preliminary Award
    Alan Edelman (2004)
  • MIT - Entrepreneurship Award
    Tom Leighton (2001)
  • National Academy of Sciences - Award for Initiatives in Research
    David Karger (2003)
    David Karger (2002)
  • National Science Foundation - Presidential Young Investigator Award
    Charles Leiserson (1985)
  • National Science Foundation - Alan T. Waterman Award
    Scott Aaronson (2012)
  • ONR - Young Investigator Award
    Ronitt Rubinfeld (1993)
  • RSA - Mathematics Award
    Shafi Goldwasser (1998)
    Silvio Micali (2004)
  • SIAM - Activity Group on Optimization Prize
    Michel Goemans (1996)
    Michel Goemans (1999)
  • University of California Berkeley, Distinguished Alumni Award
    Shafi Goldwasser (2006)
    Silvio Micali (2006)
    Madhu Sudan (2003)
  • University of Pennsylvania - Grace Hopper Lecturer
    Nancy Lynch (2003)
  • University of Pennsylvania - Rademacher Lecture Series
    Silvio Micali (2005)

Best paper awards (Faculty):

  • ACM SIGACT-SIGOPS - PODC 2004 Best Student Paper
    (with Rui Fan) Nancy Lynch (2004)
  • ACM SIGACT-SIGOPS - PODC 2006 Best Student Paper
    (with Rui Fan) Nancy Lynch (2006)
  • Danny Lewin Best Student Paper Award of ACM Symposium on Theory of Computing
    Scott Aaronson (2004)
    Jon Kelner (2004)
  • IEEE Conference on Computational Complexity - Best Student Paper Award
    Scott Aaronson (2004)
    Scott Aaronson (2003)
    Bonnie Berger (1990)
  • IEEE - William R. Bennett Prize Paper Award
    David Karger (2004)
  • IEEE - Info Theory Society - Best Paper Award
    Madhu Sudan (2002)
  • INFORMS Computing Society Prize for Best Paper
    Peter Shor (2007)
  • International Conference on Radiation Effects in Insulators - Best Paper Award (Image and Multimedimensional Signal)
    Bonnie Berger (with Hobbs, Sreeram, Jesurum) (1995)Machtey Award - IEEE Foundations on Computer Science Best Student Paper
    Piotr Indyk (2000)
    Tom Leighton (1991)

Best paper awards (Students):

  • 18th Symposium on Combinatorial Pattern Matching
    Oren Weimann (2007)
  • ACM Symposium on Theory of Computing Best Paper Award
    Sergey Yekhanin (2007)
  • Danny Lewin Best Student Paper Award of ACM Symposium on Theory of Computing
    Adam Klivans (2001)
    John Rompel (1990)
    Dan Spielman (1994)
    Dan Spielman (1995)
    Sergey Yekhanin (2007)
  • IEEE Conference on Computational Complexity Best Student Paper
    Ryan O'Donnell (2002)
  • IEEE Conference on Computational Complexity Best Paper
    Ryan O'Donnell (2003)
  • IEEE - William R. Bennett Prize Paper Award
    David Liben-Nowell (2004)
  • International Colloquium on Automata, Languages and Programming Best Student Paper
    Mihai Patrascu (2005)
  • Kleene Best Student Paper Award at LICS
    Ben Rossman (2003)
    Ben Rossman (2005)
  • Machtey Award: IEEE Symposium on Foundations of Computer Science Best Student Paper
    Tim Abbott (2005)
    Ravi Boppana (1985)
    Andras Benczur (1995)
    Nick Harvey (2006)
    Jon Kleinberg (1996)
    Daniele Micciancio (1998)
    Paul Valiant (2005)
Other Student Awards
  • CRA Best Undergraduate Award
    Mihai Patrascu (2005)


 
 

line

 MIT logo Computer Science and Artificial Intelligence Laboratory (CSAIL)
 The Stata Center, Building 32 * 32 Vassar Street * Cambridge, MA 02139 * USA

line