The programming languages group at Princeton University is interested in functional programming languages, type theory, program synthesis and analysis, as well as security and network technologies.