Principles of Programming Group

Computer Science Department

Carnegie Mellon University


Join Us

Associate Professor Umut Acar demonstrating his bravery.

A zipline group including professors Jan Hoffmann, Umut Acar,
Matt Fredrikson, and Jean Yang.

Join us for the fun in one of the largest programming languages research groups in the world!

The Principles of Programming Group welcomes students with strong backgrounds in both the formal aspects of programming languages, as well as in building realistic systems and tools. As admitted students will work primarily under the supervision of their supervisor(s), we encourage applicants to identify a set of faculty members they would work well with.

The School of Computer Science PhD application is here. The application requires scores from the Graduate Record Examination (GRE) general test, three letters of recommendation, and the Test of English as a Foreign Language (TOEFL) for non-native English speakers. The final deadline for 2016-2017 academic year is December 15, 2015.