SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Alex Vaynberg From Typed Assembly Language to Proof Carrying Code