SCS Undergraduate Thesis Topics

Name Academic Advisor Thesis Topic
Amer Obeidah , Lynn Carter Design-Code Verification: When Design Deviates from Code