SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Geoff Washburn Frank Pfenning Modal Typing for Specifying Runtime Code Generation