SCS Undergraduate Thesis Topics
|Adam Blank||Klaus Sutner||ColorMyGraph: Student Proof Analysis and Verification|
College-level Mathematics and Theoretical Computer Science is almost universally based in proof. We prove our theorems true, our code correct, our invariants constant. Traditionally, students struggle a lot with learning the art and science of writing proofs. Often, it presents such a barrier that they give up on understanding what to do.
My senior thesis focuses on the development, implementation, and testing of a new type of assignment which we call a "Verification Assignment" in which students review and comment on each others' proofs via an online system. Our hope is that these assignments simultaneously help students gain a better understanding of the underlying concepts as well as decrease the time spent on grading.