SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Brandon Bohrer Karl Crary Certifying Compilations for Logic Programming