Pure and Applied Logic

Faculty working in this area:

Last	First	Title	Email
Blum	Lenore	Distinguished Career Professor of CS	lblum@cs.cmu.edu
Brookes	Stephen	Professor	brookes@cs.cmu.edu
Harper	Robert	Professor	rwh@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

Faculty Hiring

The 2016-2017 application period for the Computer Science Department (CSD) at Carnegie Mellon University has ended, and no further applications are being accepted for positions starting in Fall 2017.

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. Please refer back to this site in Fall 2017 when our next hiring period will be open for any available positions starting in Fall 2018.

Additional information can be found on our Faculty Hiring page.

Faculty Positions

Search form

Pure and Applied Logic

Faculty working in this area: