SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Michael Ashley-Rollman Karl Crary Type-Safety of Stardard ML