Research Awards

A. M. Turing Awards

E. Allen Emerson (2007)
Edsger Dijkstra (1972)

National Academy of Engineering Members

Simon S. Lam (2007)
J Strother Moore (2007)

National Academy of Sciences Member

William H. Press (1994)

Career Research Excellence Awards

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)

Research Excellence Awards

ONR Young Investigator Award	Kristen Grauman (2012)
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)

American Academy of Arts and Sciences Fellows

William H. Press (1993)
Edsger Dijkstra (1975)

Radcliffe Fellowships

David I. Zuckerman (2004)
Tandy Warnow (2003)

Office of Naval Research Investigator Awards

Peter Stone (2004)

American Physical Society Fellows

William H. Press (1981)
James C. Browne

British Computer Society Fellows

Edsger Dijkstra (1971)
James C. Browne

Edith and Peter O'Donnell Award from the Academy of Medicine, Engineering, and Science of Texas (TAMEST)

Doug Burger (2010)
Stephen W. Keckler (2010)

Academy of Medicine, Engineering, and Science of Texas

William H. Press (2007)

University Cooperative Society's Career Research Excellence Award

James C. Browne (2004)

The University of Texas at Austin