This demanding program comprises a sequence of courses in mathematics and in computer science, together with applied work with software systems, culminating in dissertation research in either mathematics or in computer science. Through the coursework our students undertake an investigation of the foundations of the science of computing, and gain experience with the role of rigorous specification and analysis in the development of complex systems. Our group is particularly strong in logic, with active research programs in computational logic and logic programming, proof theory, and model theory. The weekly Connecticut Logic Seminar brings together researchers from a half-dozen institutions in three states. The Foundations of Computing program is designed for a small number of talented students.
Coursework is rigorous and assumes a strong mathematics background.
At the same time, most students are actively engaged in specification and implementation work in databases, theorem proving, or programming languages. A student will typically choose a course of study leading to a Ph.D. in Computer Science or Ph.D. in Mathematics and an M.A. in Computer Science. The choice above may take place at any time before the student chooses a dissertation adviser. In either case, the student will complete a core curriculum of mathematics and computer science courses in the first year, and pass preliminary examinations by the middle of the second year. During the second year one continues with a variety of courses and begins to focus on an area of research.