View of Carnegie Mellon Pausch bridge through window with algorithm written in marker on the glass

Academic Offerings

Consistently ranked among the highest programs available for the study of computer science, the Computer Science Department offers bachelor's, master's and doctoral degrees grounded in the foundations of the field while ensuring that the latest breakthroughs and research are encompassed in the curriculum.

Bachelor's Overview | Master's Overview | Doctoral Overview

Admissions

Degree's offered by the Computer Science Department include bachelor's, master's, and doctoral.

Start with information provided on our Prospective Students page and then learn more about the department through our Faculty Research Guide, events, news, and additional online resources.

Directory Submenu

People

Our directory includes faculty, staff, postdoctoral and doctoral people in the department.

It also serves as part of our Faculty Research Guide (FRG) with information about the research areas people are actively working in across the department.

Key Contacts - for quick reference.

Explore the Field

Our Faculty Research Guide (FRG) is a good starting point to see which faculty are working on some of today's most interesting research challenges.

The work we do here covers a wide range of research interests. Each faculty member has written his or her own research summary, which is available on their individual CSD directory page.

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:

the Computer Science Department in the School of Computer Science
the Department of Mathematical Sciences in the Mellon College of Science
the Department of Philosophy in the Dietrich College of Humanities and Social Sciences

Students who are interested in logic apply to and are admitted by the individual departments.

Faculty Researchers Working in this Area

Stephanie Balzer

Associate Professor
Robert Harper

Professor
Marijn Heule

Associate Professor
Frank Pfenning

Professor

Subscribe to Pure and Applied Logic

At a Glance

Academic Offerings

Admissions

Directory Submenu

People

Explore the Field

What can we help you find?