SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Scott Crosby Robert Harper Provably Safe Specification of a Turing Complete Programming Language