SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Ian Kash , Wilfried Sieg A Partially Automated Proof of the Cantor-Bernstein Theorem