ProgramThe Pure and Applied Logic (PAL) program at Carnegie Mellon University is an interdisciplinary affiliation of Ph.D. programs in three constituent departments:
The program 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.
Graduates of the program have gone on to prominent positions in industry and academe. Carnegie Mellon ranks highly in logic and related fields; see the university-maintained summary of rankings of various departments and programs at Carnegie Mellon, the US News and World Report logic ranking, and the Leiter report logic ranking.
Areas of strength include:
Related research at Carnegie Mellon includes algorithms, artificial intelligence, combinatorial optimization, computational complexity, computational linguistics, operations research, and programming systems.
Students interested in applying for admission to PAL should consult our answers to frequently asked questions.