COMPSCI 681
Senior Honors Thesis
3 creditsSenior Honors Thesis is an individual study for seniors completing theses for honors in the Computer Sciences major, arranged with a faculty member.
Offering recorded · Spring 2027 · Sources
Explore courses
Spring 20274 courses
Formal methods for program verification covering model-checking, temporal logics, automata connections, and special topics like program synthesis and privacy property verification.
Offering recorded · Spring 2027 · Sources
Recent recorded grades — Spring 2025: 3.77 GPA, 100.0% A/AB (n=11 letter grades).
historical GPA · grades
Fall 2022–Spring 2025 · limited sampleCOMPSCI 799
Master's Research
1–9 creditsOffering recorded · Spring 2027 · Sources
No recorded grade history
COMPSCI 899
Pre-dissertator Research
1–9 creditsPre-dissertator independent research supervised by a faculty member for students who have completed a master's degree but have not reached dissertator status.
Offering recorded · Spring 2027 · Sources