SCS Undergraduate Thesis Topics

 Denotes winner of that year's Allen Newell Award for Excellence in Undergraduate Research
 Denotes winner of that year's Alumni Award for Undergraduate Excellence

Information about Research for Undergraduates for current students:
https://www.csd.cs.cmu.edu/content/cs-undergraduate-research-options

2007-2008
Student Name Academic Advisor Thesis Title
Keith Bare , Priya Narasimhan Online Fingerpointing: Just-in-Time Problem Diagnosis for Distributed Systems
Samuel Burnett Peter Steenkiste Combining Wireless Network Emulation and Simulation
Henry DeYoung Frank Pfenning An Authorization Logic for Reasoning with Quantitative Time
Zhengheng Gho David Touretzky Visually Guided Manipulation Primitives for an Educational Robot
Jing Jin Laura Dabbish Are You Your Own Worst Enemy? Self-Interruption on the Computer
Yucheng Low Daniel Sleator Investigating the Use of Machine Learning in Go
Jeremy Maitin-Shepard Multiple-Target Tracking Based on a Fully-General Data Association Model Using a Fourier-Domain Representation
Chris Martens Frank Pfenning A Hybrid Formulation of the Ordered Logical Framework
Kevin McInerney Klaus Sutner Discovering Tractable Cellular Automata Questions
Jiquan Ngiam Scott Fahlman Natural Language Processing with Knowledge
Xinghao Pan David Touretzky Object Recognition Tools for Educational Robots
Albert Sheu Characterizing Youtube Videos
Geeta Shroff , Asm Smailagic DiaWear: An Assistive Wearable Food and Activity Recognition, Monitoring and Management System for Diabetes Patients
Jiaqi Tan , Priya Narasimhan BlackSheep: Inferring White-Box Application Behavior Using Black-Box Techniques
Carnegie Mellon Qatar
Student Name Academic Advisor Thesis Title
Noura El-Moughny , Bernardine Dias Assistive Technology for Learning to Write Braille
Amer Obeidah , Lynn Carter Design-Code Verification: When Design Deviates from Code
2006-2007
Student Name Academic Advisor Thesis Title
Sunsern Cheamanunkul Tom Mitchell, Rebecca Hutchinson Gaussian Naive Bayes Classifier with Smooth Basis Functions
Alex Grubb Autonomous Discovery of Landmark Objects
Somchaya Liembetcharat David Touretzky Manipulation of Objects Using an AIBO
Brendan Meeder Manuel Blum Proof Triangles: Toward a Formal Theory of Mathematical Understanding
Christopher Pride David Garlan Extending Aura with an Augmented Reality Interface
Joseph Rollo Reid Simmons Tracking for a Roboceptionist
Hassan Rom Gregory Ganger Currently, the roboceptionist's ability to decide whether or not to greet a nearby person is inadequate. Often the roboceptionist attempts to greet people who are not interested in talking back, but merely passing by. The roboceptionist may also attempt to greet people who are standing outside the nearby classroom-these people are not interested in responding either. While the roboceptionist is attempting to greet people who will not respond, other people who do want to talk to the roboceptionist may be waiting for a greeting. The problem is that the roboceptionist is spending too much attention on people who are not interested in interacting with the roboceptionist. Before the roboceptionist can reliably greet people, however, the roboceptionist needs to have a reliable way of tracking people. This project focuses on methods of person tracking using a laser range finder.
Stephanie Rosenthal Anind Dey A Template-based Approach to Mobile Reminders
Key Shin Jonathan Aldrich 3Twelf: A Tool for Reasoning about Programs

Pages