Programming Languages / Compilers
Programming Languages & Security at Princeton University includes functional programming languages (ML) and type theory, as well as security and privacy technologies and policy.
Associated Faculty
- Andrew Appel
- David August
- Lennart Beringer
- Aarti Gupta
- Brian Kernighan
- Zachary Kincaid
- William Mansky
- David Walker
Associated Graduate Students
- Ryan Beckett
- Qinxiang Cao
- Santiago Cuellar
- Nikolaos Giannarakis
- Anders Miltner
- Zoe Paraskevopoulou
- Olivier Savary Belanger
Projects
- CertiCoq: Principled Optimizing Compilation of Dependently Typed Programs
- Frenetic
- SyLVer: Synthesis, Learning, and Verification
- Verified Software Toolchain
