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 Kayvon Fatahalian 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
Harold Max Willsey Frank Pfenning Design and Implementation of Concurrent C0
Patrick Xia Christopher Dyer Translating into Morphologically Rich Languages with Word-Level Inflectional LSTM Models
Carnegie Mellon Qatar
Student Name Academic Advisor Thesis Title
Naassih Ahmad Gopee Kemal Oflazer, Houda Bouamor, William Cohen Applying Recurrent Neural Network for Arabic Named Entity Recognition
Alaa Mahmoud Mohamed Khader Kemal Oflazer Computer Assisted Learning for Arabic Speaking ESL Students