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:
Students who are interested in logic apply to and are admitted by the individual departments.
Area Website
Pure and Applied Logic
