SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Elizabeth Davis Frank Pfenning A Proof-Based Approach to Formalizing Protocols in Linear Epistemic Logic