SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Key Shin Jonathan Aldrich 3Twelf: A Tool for Reasoning about Programs