README.md

PL Grad Schools

Finding grad schools that fit your interests can be a daunting task. Rather than making a ranking of the 'best' grad schools using some subjective metric, we decided to list out grad schools with professors studying PL that are open to take new students.

Feel free to make a PR adding other schools/faculty/topics to the list. Or remove them if the PL faculty are no longer there. We want this to be a living list of active PL schools for new students/postdocs/etc.

• POP @ Carnegie Mellon University

  • Topics
    • Logic
    • Type Theory
  • Faculty
    • Robert Harper

• CAPRA @ Cornell

  • Topics
    • Architecture

• PL @ Cornell University

  • Topics
    • Architecture
    • Networking
  • Faculty
    • Nate Foster

• Indiana University

  • Topics
    • Gradual Typing

• Massachusetts Institute of Technology

  • Topics
    • Deepspec

• PRL @ Northeastern University

  • Topics
    • Gradual Typing

• Princeton University

  • Topics
    • Deepspec

• PLASMA @ UMass

  • Topics
    • Applied PL
    • Software Engineering
    • Systems
  • Faculty
    • Emery Berger
    • Arjun Guha
    • Yuriy Brun

• University of British Columbia

  • Topics
    • Verified Compilation

• LFCS @ University of Edinburgh

  • Topics
    • Logic
    • Type Theory

• FP @ University of Nottingham

  • Topics
    • Logic
    • Type Theory

• University of Pennsylvania

  • Topics
    • DeepSpec

• MSP @ University of Strathclyde

  • Topics
    • Logic
    • Type Theory

• PLSE @ University of Washington

  • Topics
    • Applied PL

• Yale University

  • Topics
    • DeepSpec