SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Michael Arntzenius Karl Crary A Type Theory of Linking