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:

Student Name Academic Advisor Thesis Title
Cosku Acay Frank Pfenning Refinement Types for Session Typed Concrurency
David Bayani Andre Platzer Investigation and Implementation of Invariant Generation in The KeYmaera System for Hybrid
Abdelwahab Bourai Eric Nyberg Human-Assisted Refinement of Personalized News Recommendation
Will Crichton+ Lantern: A Query Language for Visual Concept Retrieval
Yongshan Ding Ryan O'Donnell Quantum Algorithms on Matrix Product Verification
Christopher Jones Ryan O'Donnell A Noisy-Influence Regularity Lemma for Boolean Functions
Hemanth Kini Roger Dannenberg Tempo Segmentation in Electronic Dance Music
Rachel Kositsky Robert Murphy Evaluating Models of Subcellular Location
Kevin Ku+ Jason Hong PrivacyProxy: Using Crowdsourcing to Detect and Mitigate Information Leakage on Smartphones
Jia Jun Brandon Lum David Brumley Identifying Security-Critical Components with Attack Path Planning
Vivek Nangia Aarti Singh Use of Elastic Net Regression and Penalized Logistic Regression to Identity Neuro-biomarkers the Predict Stress-related Risk for Coronary Heart Disease
Benjamin Plaut* Tuomas Sandholm Algorithms for Social Good: Kidney Exchange
Elan Rosenfeld Manuel Blum Human-Usable Password Schemas: Beyond Information-Theoretic Security
Ticha Sethapakdi Christos Faloutsos SumVis: An Interactive Summary and Visualization Tool for Large-Scale Graphs
Bryce Summer Keenan Crane Extracting Curves from subdivision surface
Esther Wang Jonathan Aldrich Designing Reflection for the Wyvern Programming Language