School of Computer Science Distinguished Dissertation Award
--Awarded annually by the School of Computer Science in recognition of outstanding work by a graduate of our school-wide doctoral programs. The award includes a cash prize and distinguished lecture by the recipient/s.

2006/2007

• Adam Wierman, May 2007 (CS)
  Scheduling for Today's Computer Systems: Bridging Theory and Practice
  --Advisor: Mor Harchol-Balter
  
• Jacob O. Wobbrock, July 2006 (HCII)
  EdgeWrite: A Versatile Design for Text Entry and Control
  --Advisor: Brad A. Myers
  

• Luis Von Ahn, December 2005
  Human Computation
  --Advisor: Manuel Blum
  

• Angela Demke Brown, August 2005
  Explicit Compiler-based Memory Management for Out-of-core Applications
  --Advisor: Todd Mowry
  
• Sanjit A. Seshia, May 2005
  Adaptive Eager Boolean Encoding for Arithmetic Reasoning in Verification
  --Advisor: Randal E. Bryant
  

• Oley Mikhail Sheyner, May 2004
  Scenario Graphs and Attack Graphs
  --Advisor: Jeannette Wing
  

• Michael H. Bowling, May 2003
  Multiagent Learning in the Presence of Agents with Limitations
  --Advisors: Manuela Veloso
  
• John Gregory Steffan, September 2003
  Hardware Support for Thread-Level Speculation
  --Advisors: Todd C. Mowry
  

• Robert C. Miller, May 2002
  Lightweight Structure in Text
  --Advisors: Brad Myers and David Garlan
  
• Perry S. Cheng, September 2001
  Parallel, Real-Time Garbage Collection
  --Advisors: Guy Blelloch and Robert Harper
  

• Andrej Bauer, December 2000
  DThe Realizability Approach to Computable Analysis and Topology
• Rob O'Callahan, May 2001
  Generalized Aliasing as a Basis for Program Analysis Tools

• Carl Burch, May 2000
  Machine Learning in metrical Task Systems and Other On-Line Problems

• A. David Redish, May 1997
  Beyond the Cognitive Map: Contributions to a Computational Neuroscience Theory of Rodent Navigation

• Jonathan R. Shewchuk, May 1997
  Delaunay Refinement Mesh Generation
• Xudong Zhao, August 1996
  Verification of Arithmetic Circuits