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. The Princeton Programming Languages Group website can be found at http://pl.cs.princeton.edu/.
Associated Faculty
Associated Graduate Students
- Tim Alberdingk Thijm
- Joshua Cohen
- Joomy Korkut
- Devon Kennedy Loehr
- Charlie Murphy
- Nikhil Pimpalkhare
- Jake Silverman
- Qinshi Wang
- Matthew Weaver
- Han Xu
- Weikun Yang
- Dexin Zhang
- Andrew Zhao
- Shaowei Zhu