The Pure and Applied Logic Program is joint with the Carnegie Mellon Mathematics and Philosophy Departments. Carnegie Mellon has a large and active group of faculty whose research and teaching interests span all aspects of logic, with a particularly strong concentration in foundational aspects of computing. This Logic Community has an established record of collaborations in pursuing theoretical research, conducting major implementation projects, and running colloquia and workshops. Participating faculty from the Computer Science Department include Stephen Brookes, Edmund Clarke, Robert Harper, Peter Lee, Frank Pfenning, and John Reynolds.
Course of Study: CS/PAL students are admitted through their home department (Computer Science). They may choose to specialize in Pure and Applied Logic any time after their first year, though the expectation is that a mutual decision is reached by the end of their first year. CS/PAL students fulfill all the normal CS Ph.D. program requirements; however rather than take the equivalent of just three elective courses, they must take five. CS/PAL students should choose their elective courses from a list of regularly offered courses in Pure and Applied Logic. Since some of these courses are taught in the Mathematics or Philosophy Departments and CS students are restricted to taking the equivalent of at most one elective course outside of SCS, in special cases students may petition to have a second elective course chosen from outside of SCS. CS/PAL students are also expected to participate in the activities of the Carnegie Mellon Logic Community, such as relevant seminars and colloquia.
Completion of all degree requirements earns the student a Ph.D. in Computer Science plus an additional certificate in ``Pure and Applied Logic''. More information about the PAL program is available at http://www.cs.cmu.edu/~pal