SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Gregory Price Frank Pfenning Toward Efficient Proof Search for Linear Logic