# Ph.D. Program in Pure and Applied Logic

The Ph.D. Program in Pure and Applied Logic is an interdisciplinary program designed to support students seeking a career in Mathematics, but interested in working in an area of logic supported by the Department of Philosophy. As part of the program, students earn an M.S. degree from the Department of Mathematical Sciences.

Research areas include:

- automated deduction and automated reasoning
- category theory and categorical logic
- computability and computable analysis
- constructive logic and type theories
- homotopy type theory
- proof theory