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.