SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Chris Martens Frank Pfenning A Hybrid Formulation of the Ordered Logical Framework