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

• Andrew Appel
• David August
• Aarti Gupta
• Brian Kernighan
• Zachary Kincaid
• David Walker

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