PhD Pure and Applied Logic at Carnegie Mellon University

The Pure and Applied Logic (PAL) programme is an interdisciplinary affiliation of PhD programmes in Computer Science, Mathematical Sciences and Philosophy. Students are admitted by one of the three departments and must meet that department's requirements and write a thesis meeting its standards. Funding decisions are made by each department, and an admission offer is normally accompanied by support covering education costs and living expenses.

Faculty: Kenneth C. Griffin School of Computer Science  |  Department: Computer Science Department (joint with Department of Mathematical Sciences and Department of Philosophy)  |  Intake: Fall (August); one admission cycle per year  |  Study mode: full-time  |  Location: Pittsburgh, PA, United States

What you will study

Areas of strength include automated theorem proving, category theory and categorical logic, constructive mathematics, formal verification, foundations of programming languages, homotopy type theory, model theory, proof theory, set theory, type theory and theory of computing.

Career pathways

Graduates have gone on to prominent positions in industry and academia.

Official programme page