SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Daniel Gratzer Karl Crary The Next 700 Failed Step-Index-Free Logical Relations