SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Matthew Mirman Frank Pfenning Mode Checking for Lazy Functional Logic Programming