SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Matt McKay Karl Crary Compiler Correctness Via Contextual Equivalence