SCS Student Awards
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
(412)268-8525 . (412)268-5576 (fax)

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.

2007/2008

  • Derek Hoiem, May 2007 (RI)
    Seeing the World Behind the Image: Spatial Layout for 3D Scene Understanding
    –Advisors: Alexei (Alyosha) Efros and Martial Hebert

    Honorable Mention

  • Pradeep K. Ravikumar, August 2007 (ML)
    Approximate Inference Structure Learning and Feature Estimation in Markov Random Fields
    –Advisor: John Lafferty
  • Ryan Williams, August 2007 (CS)
    Algorithms and Resource Requirements for Fundamental Problems
    –Advisor: Manuel Blum

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

2005/2006
  • Luis Von Ahn, December 2005 (CS)
    Human Computation
    –Advisor: Manuel Blum

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

2003/2004
  • Oley Mikhail Sheyner, May 2004 (CS)
    Scenario Graphs and Attack Graphs
    –Advisor: Jeannette Wing
2002/2003
  • Michael H. Bowling, May 2003 (CS)
    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
2001/2002
  • Robert C. Miller, May 2002 (CS)
    Lightweight Structure in Text
    –Advisors: Brad Myers and David Garlan
  • Perry S. Cheng, September 2001 (CS)
    Parallel, Real-Time Garbage Collection
    –Advisors: Guy Blelloch and Robert Harper
2000/2001
  • Andrej Bauer, December 2000 (CS)
    DThe Realizability Approach to Computable Analysis and Topology
    –Advisor:Dana Scott
  • Robert W. O'Callahan, May 2001 (CS)
    Generalized Aliasing as a Basis for Program Analysis Tools
    –Advisors: Daniel Jackson and Jeannette Wing

1999/2000
  • Carl Burch, May 2000 (CS)
    Machine Learning in metrical Task Systems and Other On-Line Problems
    –Advisor: Avrim Blum

1998/1999
  • A. David Redish, May 1997 (CS)
    Beyond the Cognitive Map: Contributions to a Computational Neuroscience Theory of Rodent Navigation
    –Advisor: David Touretzky

1997/1998
  • Jonathan R. Shewchuk, May 1997 (CS)
    Delaunay Refinement Mesh Generation
    –Advisors: Gary Miller and David O'Hallaron

  • Xudong Zhao, August 1996 (CS)
    Verification of Arithmetic Circuits
    –Advisor: Edmund Clarke

Return to: SCS Student Awards
School of Computer Science