SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Henry DeYoung Frank Pfenning An Authorization Logic for Reasoning with Quantitative Time