Catalog | Conferences | Departments | First Year | Handbook | Honors | Learning Spaces | Off Campus | - Research - | Support | Writing Center

Student Research

Samuel Behrend

The Corollary of my Corollary is my ... Proposition? : Proof Justification for Computer Programs
Division: Sciences
Major: Mathematics/Computer Sciences
Year: 2006
Advisor: Joan Krone
Funding Sources: The Young Scholar Program