SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Adam Blank Klaus Sutner ColorMyGraph: Student Proof Analysis and Verification