Research Awards

A. M. Turing Awards

Award	Recipient
IEEE Charles Babbage Award	Keshav Pingali (2023)
Humboldt Research Award	Lorenzo Alvisi (2012)
IEEE LICS'06 Test-of-Time Award	E. Allen Emerson (2006)
ACM Software System Award	Robert S. Boyer (2005)
ACM Software System Award	Matt Kaufmann (2005)
ACM Software System Award	J Strother Moore (2005)
ACM Software System Award	Simon S. Lam (2004)
ACM SIGCOMM Award	Simon S. Lam (2004)
IEEE W. Wallace McDowell Award	Simon S. Lam (2004)
ACM Recognition of Service Award	Chandrajit Bajaj (2002)
Integration of Computers and Communications Prize	Edsger Dijkstra (2002)
IEEE Outstanding Technical Contributions and Leadership Achievements in Real-Time Systems Award	Aloysius K. Mok (2002)
ACM Edsger W. Dijkstra Award in Distributing Computing	Edsger Dijkstra (2002)
IEEE W. William R. Bennett Award	Simon S. Lam (2001)
CADE Herbrand Award	Robert S. Boyer (1999)
CADE Herbrand Award	J Strother Moore (1999)
CMU Allen Newell Medal	E. Allen Emerson (1999)
ACM Kanellakis Medal	E. Allen Emerson (1998)
American Mathematical Society's Current Prize in Automatic Theorem Proving	Robert S. Boyer (1991)
American Mathematical Society's Current Prize in Automatic Theorem Proving	J Strother Moore (1991)
John McCarthy Prize for Program Verification	Robert S. Boyer (1983)
John McCarthy Prize for Program Verification	J Strother Moore (1983)
American Astonomical Society's Helen B. Warner Prize	William H. Press (1981)
IEEE Leonard G. Abraham	Simon S. Lam (1975)

Award	Recipient
Tomassoni-Chisesi Award	Scott Aaronson (2018)
PAMI Young Researcher Award	Kristen Grauman (2013)
Test of Time Award	Dana H. Ballard(2013)
Test of Time Award	Yin Zhang (2013)
ONR Young Investigator Award	Kristen Grauman (2012)
Presidential Early Career Award for Scientists and Engineers	Brent Waters (2012)
Presidential Early Career Award for Scientists and Engineers	Kristen Grauman (2012)
Microsoft Research Faculty Fellows	Brent Waters (2011)
Marr Prize	Kristen Grauman (2011)
Air Force Young Investigator Research Program	Michael Walfish (2010)
PET Award for Outstanding Research in Privacy Enhancing Technologies	Vitaly Shmatikov (2008)
National Academy of Sciences Kavli Fellowship	Brent Waters (2008)
Fulbright Fellowship	Peter Stone (2008)
Microsoft New Faculty Fellows Award	Kristen Grauman (2008)
IJCAI Computers and Thought Award	Peter Stone (2007)
Ralph E. Powe Junior Faculty Enhancement Award in Math/Computer Science	Kristen Grauman (2007)
Frederick A. Howes Scholar in Computational Science	Kristen Grauman (2007)
Francisco J. Varela Research Award	Risto Miikkulainen (2006)
SIAM: SIAG/Linear Algebra Prize	Inderjit S. Dhillon (2006)
ACM SIGARCH Maurice Wilkes Award	Doug Burger (2006)
Clare Booth Luce Professorship	Kristen Grauman (2005)
ONR Young Investigator Award	Peter Stone (2004)
ACM Grace Murray Hopper Award	Stephen W. Keckler (2003)
Research Excellence Award AT&T Labs	Yin Zhang (2001)