SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
William Chargin Frank Pfenning A General System of Adjoint Logic