SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Cosku Acay Frank Pfenning Refinement Types for Session Typed Concrurency