Undergraduate Research

Below are links to the home pages for a variety of departmental research projects and groups that are typically looking for undergraduate researchers.


A system that implements a constructive theory of types. NuPrl provides both a formal system of mathematics and a programming language. It allows the user to express a wide variety of proof and program-building methods as metalevel programs of the system and use these to construct mathematical theorems and evaluate their computational content.

More to come...this page is under development.