SCS Ph.D. Graduation 2019

Doctoral Degrees Conferred

Academic Year: 2002-2003
Name Thesis Advisor(s) Thesis Title
Shyjan Mahamud Martial Hebert, Reid Simmons Discriminative Distance Measures for Object Detection
Dimitris Margaritis Sebastian Thrun Learning Bayesian Network Model Structure from Data
Michael Mateas Jaime Carbonell, Joseph Bates Interactive Drama, Art and Artificial Intelligence
Mark Moll Michael Erdmann Shape Reconstruction Using Active Tactile Sensors
Dushyanth Narayanan M. Satyanarayanan Operating System Support for Mobile Interactive Applications
J. Gregory Steffan Todd Mowry Hardware Support for Thread-Level Speculation
James D Thomas Katia Sycara News and Trading Rules
William T. B. Uther Manuela Veloso Tree Based Hierarchical Reinforcement Learning
Academic Year: 2001-2002
Name Thesis Advisor(s) Thesis Title
Sergey Berezin Edmund Clarke Model Checking and Theorem Proving: A Unified Framework
Raluca Budiu John Anderson The Role of Background Knowledge in Sentence Processing
Fay W. Chang Garth Gibson Using speculative execution to automatically hide I/O latency
Perry Sze-Din Cheng Guy Blelloch, Robert Harper Scalable Real-time Parallel Garbage Collection for Symmetric Multiprocessors
Frank Dellaert Charles Thorpe, Sebastian Thrun Monte Carlo EM for Data Association and its Applications in Computer Vision
David A. Eckhardt Peter Steenkiste An Internet-style Approach to Managing Wireless Link Errors
Jason Flinn M. Satyanarayanan Extending Mobile Computer Battery Life through Energy-Aware Adaptation
Matthew Glickman Katia Sycara, Joseph Bates An Empirical Investigation of the Evolution of Parent-Offspring Transmission in Evolutionary Search
John Langford Avrim Blum Quantitatively Tight Sample Complexity Bounds
Wilfredo Marrero Edmund Clarke Brutus: A Model Checker for Security Protocols
Robert C. Miller Brad Myers Lightweight Structure in Text
John F. Pane Brad Myers A Programming System for Children that is Designed for Usability
Adrian Perrig Doug Tygar Security Protocols for Broadcast Networks
Jeffrey S. Pierce Randy Pausch Expanding the Interaction Lexicon for 3D Graphics
Jeff Polakow Frank Pfenning, John Reynolds Ordered Linear Logic and Applications
Jovan Popović Michael Erdmann, Steven Seitz Interactive Design of Rigid-Body Simulations for Computer Animation
Douglas L. T. Rohde David Plaut A Connectionist Model of Sentence Comprehension and Production
Bryan W. Singer Manuela Veloso Automating the Modeling and Optimization of the Performance of Signal Processing Algorithms
Seán Slattery Tom Mitchell Hypertext Classification
Belinda Thom Manuela Veloso BoB: An Improvisational Music Companion
Academic Year: 2000-2001
Name Thesis Advisor(s) Thesis Title
Andrej Bauer Dana Scott The Realizability Approach to Computable Analysis and Topology
Adam Berger John Lafferty Statistical Machine Learning for Information Retrieval
Mei C. Chuah James Morris, Stephen Roth AVID: Automatic Visualization Interface Designer
Craig A. Damon Jeannette Wing Selective Enumeration
F. Sebastian Grassia Andrew Witkin Believable Automatically Synthesized Motion by Knowledge-Enhanced Motion Transformation
Neil T. Heffernan III John Anderson, Kenneth Koedinger Intelligent Tutoring Systems Have Forgotten the Tutor: Adding a Cognitive Model of Human Tutors
Adam Kalai Avrim Blum Probabilistic and On-line Methods in Machine Learning
Bruce Lowekamp Thomas Gross, David O'Hallaron Discovery and Application of Network Information
David A. Maltz David Johnson On-Demand Routing in Multi-hop Wireless Mobile Ad Hoc Networks
Kamal Paul Nigam Tom Mitchell Using Unlabeled Data to Improve Text Classification
Robert T. Olszewski Roy Maxion, Daniel Siewiorek Generalized Feature Extraction for Structural Pattern Recognition in Time-Series Data
Robert O'Callahan Daniel Jackson, Jeannette Wing Generalized Aliasing as a Basis for Program Analysis Tools
Carsten Schüermann Frank Pfenning Automating the Meta Theory of Deductive Systems
Christopher Allan Stone Robert Harper Singleton Kinds and Singleton Types
Andrew J. Willmott Paul Heckbert Hierarchical Radiosity with Multiresolution Meshes
Hao Chi Wong Jeannette Wing Protecting Individuals' Interests in Electronic Commerce Protocols
Academic Year: 1999-2000
Name Thesis Advisor(s) Thesis Title
Lars Birkedal Dana Scott Developing Theories of Types and Computability via Realizability
Carl Burch Avrim Blum Machine learning in metrical task systems and other on-line problems
Rob DeLine Mary Shaw Resolving Packaging Mismatch
Peter August Dinda David O'Hallaron Resource Signal Prediction and Its Application To Real-time Scheduling Advisors
Jüergen Dingel Stephen Brookes Systematic parallel programming
Eugene Fink Herbert Simon, Jaime Carbonell Automatic Representation Changes in Problem Solving
Howard Gobioff Garth Gibson, Doug Tygar Security for a High Performance Commodity Storage Subsystem
Geoffrey Gordon Tom Mitchell Approximate Solutions to Markov Decision Processes
Marius Minea Edmund Clarke Partial Order Reduction for Verification of Timed Systems
Robert T. Monroe David Garlan Rapid Development of Custom Software Architecture Design Environments
Thomas M. Stricker Thomas Gross Direct Deposit – When Message Passing meets Shared Memory
Academic Year: 1998-1999
Name Thesis Advisor(s) Thesis Title
Leemon C. Baird III Andrew Moore Reinforcement Learning Through Gradient Descent
Claudson Ferriera Bornstein Bruce Maggs, Gary Miller Parallelizing and De-parallelizing Elimination Orders
Justin Andrew Boyan Scott Fahlman, Andrew Moore Learning Evaluation Functions for Global Optimization
Denis R. Dancanet Stephen Brookes Intensional Investigations
Dayne Freitag Tom Mitchell Machine Learning for Information Extraction
Michael Garland Paul Heckbert Quadric-Based Polygonal Surface Simplification
Lorin V. Grubb Roger Dannenberg A Probabilistic Method for Tracking a Vocalist
Darrell Kindred Jeannette Wing Theory Generation for Security Protocols
Christian Lebiere Scott Fahlman The Dynamics of Cognition: An ACT-R Model of Cognitive Arithmetic
Richard G. McDaniel Brad Myers, James Morris Building Whole Applications Using Only Programming-by-Demonstration
Arup Mukherjee Daniel Siewiorek Supporting Online Services in Environments Constrained by Communication
Girija Narlikar Guy Blelloch Space-efficient Scheduling for Parallel, Multithreaded Computations
George Ciprian Necula Peter Lee Compiling with Proofs
Ljubomir Perković Dana Scott, Bruce Reed Edge Coloring, Polyhedra and Probability
Zoran Popović Andrew Witkin Motion Transformation by Physically Based Spacetime Optimization
Andréa Werneck Richa Bruce Maggs On Distributed Network Resource Allocation
Henry A. Rowley Takeo Kanade Neural Network-Based Face Detection
Dario D. Salvucci John Anderson Mapping Eye Movements to Cognitive Processes
Phoebe Sengers Joseph Bates Anti-Boxology: Agent Design in Cultural Context
Peter Stone Manuela Veloso Layered Learning in Multi-Agent Systems