The programming languages group at Princeton University is interested in topics ranging from theoretical foundations to practical applications of programming and theorem proving technologies, including but not limited to, semantics, analysis, verification, decision procedures, defect detection, design, implementation, optimization, and domain-specific languages, logics, and applications.
News
- March 16, 2026 — Welcome to the newly designed PL group website!
Visiting Students
Graduate Students
Akash Gaonkar
Nicolas Koh
Dexin Zhang
Sean Wang
Emeritus Faculty
PhD Alumni
- Santiago Cuellar (Galois, Inc.)
- Olivier Savary Bélanger (Galois, Inc.)
- Zoe Paraskevopoulou (National Technical University of Athens)
- Anders Miltner (Simon Fraser University)
- Nick Giannarakis (AWS)
- Charlie Murphy (Post-doc @ UWM)
- Matthew Z. Weaver (Bloomberg)
- Lauren Pick (CUHK)
- Qinshi Wang (Huawei Hong Kong)
- Devon Loehr (Google)
- Joomy Korkut (Bloomberg)
- Shaowei Zhu (AWS)
- Tim Alberdingk Thijm (Apple)
- Joshua Cohen (AWS)
- Divya Raghunathan (AWS)