Writing Notes

Pure and Applied Logic

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.

Faculty Working in this Area

Last First Professional Title Available To Advise?
Balzer Stephanie Assistant Professor
Brookes Stephen Professor
Harper Robert Professor
Heule Marijn Associate Professor
Pfenning Frank Professor
Subscribe to Pure and Applied Logic