Pure and Applied Logic

Faculty working in this area:

Last	First	Title	Email
Blum	Lenore	Distinguished Career Professor of Computer Science	lblum@cs.cmu.edu
Brookes	Stephen	Professor	brookes@cs.cmu.edu
Harper	Robert	Professor	rwh@cs.cmu.edu
Pfenning	Frank	Department Head; Joseph F. Traub Professor of Computer Science	fp@cs.cmu.edu
Platzer	André	Associate Professor	aplatzer@cs.cmu.edu

Undergraduate Programs

The admissions process for each undergraduate major varies from program to program, but admissions for our main bachelor of science in computer science are handled through Carnegie Mellon's central Office of Undergraduate Admission. Learn more on our Undergraduate Admissions page.

Master's Programs

The Computer Science Department offers a main M.S. in Computer Science, and applications for that program are submitted online by mid-December for fall admission the following year. Other master's programs available to CSD students have their own admissions processes. Learn more about our admissions requirements and processes here.

Doctoral Programs

The Ph.D. in CS program uses the School of Computer Science online application for admissions. Applications are due in December for admittance the following fall. Students cannot begin in the spring. For more on how to apply, visit our Doctoral Admissions page.

Apply

Faculty Positions

The 2018-2019 application period for the Computer Science Department (CSD) at Carnegie Mellon University is open from September 1 through December 3, 2018.

Each year we seek candidates who have demonstrated commitment to excellence and leadership in undergraduate and graduate teaching, research, and/or service toward building an equitable and diverse scholarly environment.

Additional information can be found on our Faculty Hiring page.

Faculty Positions

Search form

Pure and Applied Logic

Faculty working in this area: