Carnegie Mellon University

Overview

The PhD program in Pure and Applied Logic at Carnegie Mellon University emphasizes research at the intersection of logic, philosophy, and mathematics. It is designed for students who aim to cultivate advanced expertise through a comprehensive curriculum that integrates coursework and research in logic-related fields, collaborating closely with the Department of Philosophy and other associated departments.

What you'll study

The PhD in Pure and Applied Logic combines structured coursework with supervised research, allowing students to focus on both theoretical and practical aspects of logic.

Core coursework

• Tools and Techniques
• Formal Methods: Evolutionary Game Theory
• Formal Methods: Decisions and Games
• Formal Methods: Causation
• Formal Methods: Epistemic Logic and Topology

Research training

• Engagement in ongoing research projects with faculty supervisors tailored to individual interests in logic and related formal areas.
• Development of scholarly writing and presentation skills, including the preparation of research statements and papers, as well as conference-style communication.

Thesis / dissertation

• Completion of a doctoral dissertation based on original research in Pure and Applied Logic.

Note: Specific course offerings, sequencing, and degree milestones may vary based on individual student backgrounds and faculty guidance. Prospective students should verify current degree requirements with the program and the CMU Graduate School.

Entry requirements

Applicants are expected to demonstrate strong preparation for graduate-level study in relevant areas such as logic, mathematics, philosophy, or closely related fields. While no specific GRE, GMAT, or GPA requirements are noted, a solid academic foundation is essential.

Career prospects

Graduates of the PhD program in Pure and Applied Logic are well-equipped for diverse career paths, including academia, research, and positions in technology and data analysis, where expertise in logical reasoning and formal methods is increasingly valued.