GRADUATE PROGRAMS
    DOCTORAL PROGRAMS

Pure and Applied Logic, Computer Science Specialization

The interdisciplinary Ph.D. program in Pure and Applied Logic builds upon Carnegie Mellon's unique strengths in logic and its applications to computer science. Internationally recognized faculty, frequent workshops, colloquia, seminar series, and excellent computing facilities contribute to an ideal environment for both theoretical and applied research.

For more information please contact Pure and Applied Logic.

To apply, please see our Admissions page.