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.

• LogSem @ Aarhus University

  • Topics
    • Logic
    • Type Theory
    • Language base security
    • Formal verification
    • Model checking
  • Faculty
    • Aslan Askarov
    • Lars Birkedal
    • Jaco van de Pol
    • Bas Spitters

• POP @ Carnegie Mellon University

  • Topics
    • Logic
    • Type Theory
    • Functional programming
  • Faculty
    • Robert Harper
    • Frank Pfenning
    • Jan Hoffmann
    • Karl Crary

• CAPRA @ Cornell

  • Topics
    • Architecture

• PL @ Cornell University

  • Topics
    • Architecture
    • Networking
  • Faculty
    • Nate Foster

• Indiana University

  • Topics
    • Gradual Typing

• Massachusetts Institute of Technology

  • Topics
    • Deepspec
    • Program synthesis
    • Software engineering

• 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
    • Gradual Typing
    • Multi-stage Programming
    • Typestate-oriented programming
    • Verified Compilation
    • Dependent Types
    • Aspect-oriented programming
    • Programming Language MOOCs
  • Faculty
    • Ron Garcia
    • William Bowman

• McGill University

  • Topics
    • Logical Frameworks
    • Higher-order Abstract Syntax
  • Faculty
    • Brigitte Pientka

• Queen's University

  • Topics
    • Type systems
    • Gradual typing
    • Incremental computation
  • Faculty
    • J. Dunfield

• Tufts University

  • Topics
    • Domain specific languages
    • Program synthesis
    • Functional programming
    • Type systems
    • Security
    • Garbage collection
    • Static analysis
  • Faculty
    • Kathleen Fisher
    • Samuel Guyer
    • Norman Ramsey
    • Jeff Foster

• University of California, Santa Cruz

  • Topics
    • Language support for distributed and decentralized systems
    • Language-based security; information flow
    • Concurrency
  • Faculty
    • Owen Arden
    • Cormac Flanagan
    • Lindsey Kuper
    • Tyler Sorensen (starting fall '20)

• LFCS @ University of Edinburgh

  • Topics
    • Logic
    • Type Theory

• PLAS @ University of Kent (Programming Languages and Systems)

  • Topics
    • Logic and Type theory
    • Semantics
    • Verification
    • Programming language design
    • Compilation
    • Runtime systems
  • Faculty
    • 16 faculty members, see website.

• 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