SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Brendan Meeder Manuel Blum Proof Triangles: Toward a Formal Theory of Mathematical Understanding