SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Shomiron Ghose Frank Pfenning Adding a Multichoice Receive Operator to Session Types