2009 |
|
| Mary Czerwinski | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Venkat Padmanabhan | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Rich Draves | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Ganesan Ramalingam | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Yong Rui | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Ted Wobber | Distinguished Scientist, Association for Computing Machinery. For significant accomplishments in the computing field. |
| Lintao Zhang | 2009 CAV Award, 21st International Conference on Computer Aided Verification. Presented for his contributions to creating high-performance Boolean satisfiability solvers. |
| Judith Bishop | Outstanding Service Award, International Federation for Information Processing (IFIP). Given for services rendered to IFIP on recommendation of technical-committee chairs and approval by the organization’s Internal Awards Committee. |
| Andrew Blake | Computer Vision Significant Researcher Award, recognizing individual researchers whose work has had a significant impact and following in Computer Vision and related fields. |
| Susan Dumais |
Gerard Salton Award, presented every three years by the Association for Computing Machinery’s Special Interest Group on Information Retrieval to an individual who has made significant, sustained, and continuing contributions to research in information retrieval. |
| Rick Rashid |
Career Achievement, 2009 Microsoft Technical Recognition Award. Given to an individual for exceptional contributions to the technology industry across the span of a career, for contributions that are of lasting and major importance to the industry. Microsoft career-related achievement is a significant component of this award. |
| Simon Peyton-Jones | Fellow, British Computer Society. For those who hold a senior IT position or have an established reputation of eminence or authority in the field of IT and who have a minimum of five years’ IT practitioner experience. |
| Christopher Bishop | Corresponding Academician, Real Academia de Ingeniería (Spanish academy of engineering), for outstanding contributions to education in, research on, and applications of learning machines. |
| Byron Cook |
Roger Needham Award, sponsored by Microsoft Research and established in memory of the late Roger Needham, founder of Microsoft Research Cambridge. Presented by the British Computer Society for a distinguished research contribution in computer science by a researcher based in the United Kingdom who has received a Ph.D. within the last 10 years. |
|
Doug Burger |
Distinguished Scientist, Association for Computing Machinery. Designates ACM members with at least 15 years of professional experience who have had significant accomplishments or impact in the computing field. |
|
Marc Najork |
Distinguished Scientist, Association for Computing Machinery. Designates ACM members with at least 15 years of professional experience who have had significant accomplishments or impact in the computing field. |
|
Martin Abadi |
Fellow, Association for Computing Machinery. Cited for contributions to computer security and verification of computer systems. |
|
Bill Buxton |
Fellow, Association for Computing Machinery. Cited for contributions to the field of human-computer interaction. |
|
Roy Levin |
Fellow, Association for Computing Machinery. Cited for contributions to software and systems. |
|
Rick Szeliski |
Fellow, Association for Computing Machinery. Cited for contributions to computational photography. |
|
Doug Terry |
Fellow, Association for Computing Machinery. Cited for contributions to distributed computing. |
2008 |
|
|
Rick Rashid |
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing “Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures.” |
|
Rick Rashid |
Recipient, IEEE Emanuel R. Piore Award. For contributions to the design of modern operating systems, and for innovation and leadership in industrial research. |
|
Yuri Gurevich |
Member, Academia Europaea. Elected for lifetime achievement in computer science. Academia Europaea is a non-governmental association consisting of scientists and scholars who collectively aim to promote learning, education, and research. Members include leading experts in physical sciences and technology, biological sciences and medicine, mathematics, letters and humanities, social and cognitive sciences, economics, and the law. |
|
Rick Rashid |
Fellow, American Academy of Arts & Sciences. Elected, by a broad-based membership of scholars and practitioners, for pre-eminent contributions to the field of computer science and to society at large. |
|
Cynthia Dwork |
Fellow, American Academy of Arts & Sciences. Elected, by a broad-based membership of scholars and practitioners, for pre-eminent contributions to the field of computer science and to society at large. |
|
Michael Schroeder |
National Information Systems Security Award, from the National Institute of Standards and Technology and the National Security Agency. Presented for scientific or technological breakthroughs, outstanding leadership, highly distinguished authorship, or significant long-term contributions in the computer security field. |
|
Oded Schramm |
Foreign Member, The Royal Swedish Academy of Sciences. The Royal Academy announcement stated: “His most important work is probably the introduction and profound study of Stochastic Loewner Evolution, which in a totally new way connects probability theory and complex analysis. This work is one of the biggest advances in probability theory in many years.” |
|
Leslie Lamport |
John von Neumann Medal, Institute of Electrical and Electronics Engineers. Presented for establishment of the foundations of distributed and concurrent computing. |
|
Bill Buxton |
CHI Lifetime Achievement Award, Association for Computing Machinery’s Special Interest Group on Computer-Human Interaction. Presented for outstanding contributions to the study of human-computer interaction, recognizing the very best work in shaping the field and awarded for a lifetime of innovation and leadership. |
|
Andrew Blake |
Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to the foundations of segmentation and tracking, and innovation in vision applications. |
|
Cynthia Dwork |
Member, National Academy of Engineering. For fundamental contributions to distributed algorithms and the security of cryptosystems. |
|
Victor Bahl |
Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to the design of wireless networks and systems, and leadership in mobile computing and communications. |
| Jennifer Chayes | Fellow, Fields Institute, for outstanding contributions to the Fields Institute, its programs, and to the Canadian mathematical community. |
2007 |
|
|
Martín Abadi |
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing “A Logic of Authentication.” |
| Leslie Lamport |
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for writing "Time, Clocks and the Ordering of Events in a Distributed System". |
| Andrew Birrell |
Recipient, SIGOPS Hall of Fame Award, recognizing the most influential operating-systems papers that have appeared in the peer-reviewed literature at least 10 years previously. Recognized for co-writing "Implementing Remote Procedure Calls". |
|
Andrew Blake |
The Mountbatten Medal from the Institution of Engineering and Technology. For an outstanding individual contribution to the promotion of electronics or information technology and their application. |
|
Christopher Bishop |
Fellow, Royal Society of Edinburgh. Elected by standing fellows of a multidisciplinary membership encompassing excellence in the sciences, arts, humanities, professions, industry, and commerce. |
|
Martín Abadi |
SIGSAC Outstanding Innovation Award, the Association for Computing Machinery’s Special Interest Group on Security, Audit and Control. Presented for outstanding and innovative technical contributions to the field of computer and communication security that have had lasting impact in furthering or understanding the theory and/or development of commercial systems. |
|
Victor Bahl |
Distinguished Lecturer, Institute of Electrical and Electronics Engineers Communications Society. To benefit existing members and chapters, in response to a request from at least one chapter chair. |
|
Victor Bahl |
Distinguished Speaker, Association for Computing Machinery. Invited to give presentations on various computing and information-technology topics to local communities of practitioners, researchers, and students. |
|
Michael Cohen |
Fellow, Association for Computing Machinery. Cited for contributions to computer graphics and computer vision. |
|
Oded Schramm |
Ostrowski Prize. Presented for outstanding achievements in pure mathematics and the foundations of numerical mathematics. |
|
John Douceur |
Distinguished Engineer, Association for Computing Machinery (ACM). Recognizes ACM members with at least 15 years of professional experience and five years of continuous professional membership who have achieved significant accomplishments or have made a significant impact on the computing field. |
|
Chuck Thacker |
Fellow, Computer History Museum. Presented for leading development of the Xerox PARC Alto and for innovations in networked personal-computer systems and laser-printing technologies. |
|
Luca Cardelli |
2007 Senior Dahl-Nygaard Prize. Presented annually to a senior researcher with outstanding career contributions. |
|
Cynthia Dwork |
Co-winner, 2007 Edsger W. Dijkstra Prize in Distributed Computing. Presented each year to an outstanding paper on the principles of distributed computing, the significance and impact of which on the theory and/or practice of distributed computing has been evident for at least a decade. Recognized for Consensus in the Presence of Partial Synchrony, which was written by Dwork, Nancy Lynch, and Larry Stockmeyer and which appeared in the Journal of the ACM in April 1988. |
|
Andrew Herbert |
Fellow, The Royal Academy of Engineering. Recognized for engineering leadership, as director of Microsoft Research Cambridge, and for important contributions to the development of Internet and wireless technology. |
|
Hsiao-Wuen Hon |
Fellow, Institute of Electrical and Electronics Engineers. Recognized for contributions to speech-recognition research and product development. |
2006 |
|
|
Albert Greenberg |
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to Internet measurement and engineering. |
|
Harry Shum |
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to computer vision and computer graphics. |
|
Susan Dumais |
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular her research contributions to information retrieval and human-computer interaction. |
|
Tony Hoare |
Fellow, Computer History Museum. Presented for his development of the Quicksort algorithm and for lifelong contributions to the theory of programming languages. |
|
Butler Lampson |
Fellow, Computer History Museum. Presented for his fundamental contributions to computer science, including networked personal workstations, operating systems, computer security, and document publishing. |
|
Chuck Thacker |
2007 John von Neumann Medal. Presented for outstanding achievements in computer-related science and technology. |
|
Jim Larus |
Fellow, Association for Computing Machinery. Recognized for contributions to computing and information technology that are having lasting effects on the lives of people throughout the world, in particular his contributions to programming languages, compilers, and computer architecture. |
|
Mike Schroeder |
Outstanding Innovation Award, Association for Computing Machinery's Special Interest Group for Security, Audit and Control, for outstanding and innovative technical contributions to the field of computer and communication security that have had lasting impact in furthering or understanding the theory and/or development of commercial systems. |
|
Feng Zhao |
Distinguished Engineer, Association for Computing Machinery |
|
Andrew Blake |
Silver Medal, Royal Academy of Engineering, for "outstanding contribution to British engineering and commercial development" |
|
Oded Schramm |
George Pólya Prize, from the Society for Industrial and Applied Mathematics |
|
Jim Kajiya |
Utah Technology Council Hall of Fame inductee |
|
George Robertson |
CHI Academy inductee |
|
John Platt |
Technical Achievement Award from the Academy of Motion Picture Arts and Sciences |
|
Surajit Chaudhuri |
Fellow of the Association for Computer Machinery |
|
Harry Shum |
IEEE Fellow |
|
Tony Hoare |
Foreign Associate, National Academy of Engineering |
|
Jennifer Chayes |
Fellow, American Association for the Advancement of Science, for meritorious efforts to advance science or its application. |
2005 |
|
|
Butler W. Lampson |
Member of National Academy of Sciences |
|
Andrew Blake |
Fellow, Royal Society |
|
Luca Cardelli |
Fellow, Royal Society |
|
Susan Dumais |
CHI Academy inductee |
|
Trishul Chilimbi |
Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering |
|
Jie Liu |
Participant, 2005 U.S. Frontiers of Engineering program, National Academy of Engineering |
|
Eric Horvitz |
President-Elect, American Association for Artificial Intelligence |
|
Manuel Costa |
ComputerWorld Horizon Award |
|
Milan Vojnovic |
ERCIM Cor Baayen Award (best young European computer-science researcher) |
|
Shuvendu Lahiri |
ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation |
2004 |
|
|
Leslie Lamport |
Recipient, IEEE Emanuel R. Piore Award. For seminal contributions to the theory and practice of concurrent programming and fault-tolerant computing. |
|
Li Deng |
IEEE Fellow |
|
Rick Szeliski |
IEEE Fellow |
|
Zhengyou Zhang |
IEEE Fellow |
|
Luca Cardelli |
Fellow of the Association of Computing Machinery |
|
Paul Larson |
Fellow of the Association of Computing Machinery |
|
Simon Peyton-Jones |
Fellow of the Association of Computing Machinery |
|
Mike Schroeder |
Fellow of the Association of Computing Machinery |
|
Lyndsay Williams |
Runner-up prize in Wall Street Journal Innovation Award for SenseCam Project |
|
Ken Wood |
Runner-up prize in Wall Street Journal Innovation Award for SenseCam Project |
|
Chris Bishop |
Fellow of The Royal Academy of Engineering |
|
Xuedong Huang |
Top 10 Leader in the Speech Industry |
|
Li Deng |
Fellow of the Acoustical Society of America |
|
Jonathan Grudin |
CHI Academy (CHI Fellow) |
|
Hugues Hoppe |
Computer Graphics Achievement Award from ACM SIGGRAPH |
|
Butler Lampson |
Draper Prize |
|
Gary Starkweather |
National Academy of Engineering |
|
Chuck Thacker |
Draper Prize |
2003 |
|
|
Alex Acero |
IEEE Fellow |
|
Victor Bahl |
ACM Fellow |
|
Phil Bernstein |
Elected to the National Academy of Engineering |
|
Philip Chou |
IEEE Fellow |
|
Laci Lovasz |
John von Neumann Medal |
|
David Lomet |
IEEE Fellow |
|
Rick Rashid |
Elected to the National Academy of Engineering |
|
Oded Schramm |
Loeve Prize |
|
Oded Schramm |
Henri Poincare Prize |
|
Gary Starkweather |
Fellow, Society for Information Display |
|
Paul Viola |
Marr Prize |
|
Turner Whitted |
Elected to the National Academy of Engineering |
| Jennifer Chayes | National Associate, National Research Council of the National Academies, for extraordinary contributions through pro bono service. |
|
Xuedong Huang |
Top 10 Leader in the Speech Industry |
2002 |
|
|
Ciprian Chelba |
Computer, Speech and Language Paper Award |
|
Richard Draves |
Participant in the Defense Science Study Group |
|
Eric Horvitz |
AAAI Fellow |
|
Jim Kajiya |
National Academy of Engineering Member |
|
David Lomet |
ACM Fellow |
|
Henrique Malvar |
Technical Achievement Award from the IEEE Signal Processing Society |
|
Roger Needham |
Clifford Paterson Lecture at the Royal Society |
|
George Robertson |
Fellow of the Association for Computing Machinery |
|
David Salesin |
ACM Fellow |
|
Oded Schramm |
Clay Research Award |
|
Gary Starkweather |
Inducted into the Industry Hall of Fame |
|
Curtis Wong |
NextMedia’s work won an academy award from the British Academy of Film and Television Arts in the Online Learning category |
|
Ya-Qin Zhang |
Distinguished Alumni Award, George Washington University |
2001 |
|
|
Darko Kirovski |
ACM Outstanding PACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation |
|
Victor Bahl |
ACM SIGMOBILE Distinguished Service Award |
|
Tom Barclay |
USGS John Wesley Powell Award |
|
Gordon Bell |
Eta Kappa Nu Eminent Members Award |
|
Phil Bernstein |
Computing Research Association Member, Board of Directors |
|
Phil Bernstein |
Fellow of the Association for Computing Machinery |
|
Andrew Blake |
Marr Prize, International Conference on Computer Vision |
|
Jim Gray |
American Academy of Arts and Sciences Fellow |
|
Jim Gray |
USGS John Wesley Powell Award |
|
David Heckerman |
AAAI Fellow |
|
Tony Hoare |
Honorary Doctorate of Oxford Brookes University |
|
Kamal Jain |
Optimization Award of INFORMS (Institute for Operations Research and the Management Sciences) for his paper “A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem” |
|
David Lomet |
IEEE Meritorious Service Award for innovative service as Editor of the IEEE Data Engineering Bulletin, including performing its transformation to highly usable electronic form |
|
Laci Lovasz |
Gödel Prize for paper “Interactive Proofs and the Hardness of Approximating Cliques” |
|
Laci Lovasz |
Corvin Chain Award |
|
Roger Needham |
Commander of the Order of the British Empire (CBE) |
|
Oded Schramm |
Salem Prize in Mathematics |
|
Kentaro Toyama |
Marr Prize, International Conference on Computer Vision |
|
Ya-Qin Zhang |
Best Paper Award in IEEE Transactions on Circuits and Systems for Video Technology |
|
Wenwu Zhu |
Best Paper Award in IEEE Transactions on Circuits and Systems for Video Technology |
2000 |
|
|
Xuedong Huang |
IEEE fellow |
|
Jim Blinn |
National Academy of Engineering Member |
|
Geoff Davis |
IEEE Leon K. Kirchmayer Prize Paper Award |
|
Yuri Gurevich |
Gurevich Symposium (a part of CSL 2000) |
|
Tony Hoare |
Kyoto Prize |
|
Tony Hoare |
Knight Bachelor |
|
Stephen Robertson |
ACM SIGIR Gerard Salton Award |
|
David Wilson |
Rollo Davidson Prize |
|
David Wilson |
2000 INFORMS Award for an Outstanding Publication in the Field of Simulation |
|
Ya-Qin Zhang |
IEEE Jubilee Golden Medal Award |
|
Hongjiang Zhang |
ACM Service Award |
1999 |
|
|
Jim Blinn |
Coons Award — Lifetime Achievement Award for Computer Graphics |
|
Laci Lovasz |
Wolf Prize |
|
Laci Lovasz |
Knuth Prize |
1998 |
|
|
Jennifer Chayes |
American Mathematical Society Vice President |
|
Michael Cohen |
SIGGRAPH Computer Graphics Achievement Award |
|
Jim Gray |
Charles Babbage Award, IEEE Computer Society |
|
Jim Gray |
Presidential Advisory Committee on High Performance Next Generation Internet and Info |
| Jim Gray |
ACM A.M. Turing Award |
|
Yuri Gurevich |
Dr Honoris Causa, University of Limburg, Belgium |
|
David Lomet |
ACM SIGMOD Conference Best Paper Award |
|
Roger Needham |
Faraday Medal Institution of Electrical Engineers |
|
Roger Needham |
U.K. Defense Scientific Advisory Council Register of Independent Members |
|
Stephen Robertson |
The Tony Kent Strix Award |
|
Ya-Qin Zhang |
Outstanding Young Electrical Engineer of the Year, USA |
Multiyear Awards |
||
|
Yuri Gurevich |
1962 & 1966 |
Young Mathematician Award of the Ural Math Society (USSR) |
|
Michael H. Freedman |
1980-1983 |
Alfred P. Sloan Fellow |
|
Michael H. Freedman |
1984-1989 |
MacArthur Foundation Fellow |
|
Richard Draves |
1989-1992 |
Fannie and John Hertz Foundation Fellow |
|
Yuri Gurevich |
1990-1991 |
Distinguished Faculty Achievement Award, University of Michigan |
|
Jim Blinn |
1991-1996 |
MacArthur Fellow |
|
Yuri Gurevich |
1993-1994 |
Teaching Excellence Award, University of Michigan EECS Department |
|
Christian Borgs |
1993-1995 |
Heisenberg Fellowship |
|
Victor Bahl |
1994-1996 |
Digital Equipment Corp. Doctoral Engineering Fellowship Award |
|
Yuri Gurevich |
1995-1996 |
Faculty Recognition Award, University of Michigan |
|
Yuri Gurevich |
1997-1998 |
Research Excellence Award, University of Michigan College of Engineering |
|
Darko Kirovski |
2000-2001 |
ACM Oustanding PACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation |
|
Richard Draves |
2002-2003 |
Participant in the Defense Science Study Group |
