The Pure and Applied Logic (PAL) program at Carnegie Mellon University is an interdisciplinary affiliation of Ph.D. programs in three constituent departments:
Three Carnegie Mellon colleges participate in the Pure & Applied Logic doctoral program:
the Computer Science Department in the School of Computer Science
the Department of Mathematical Sciences in the Mellon College of Science
the Department of Philosophy in the Dietrich College of Humanities and Social Sciences
Students who are interested in logic apply to and are admitted by the individual departments.
Pure and Applied Logic