Programming Languages at Harvard

The Programming Languages Group is composed of faculty and students at the Harvard John A. Paulson School of Engineering and Applied Sciences who are interested in problems relating to programming language foundations, design, and implementation.


The PL Seminar typically happens Fridays at 14:00 ET in SEC 6.412. We occasionally have speakers at other times. Check the PL Seminar's Google calendar for details. To get email notifications for invited talks, join the Google Group.

We also regularly participate in the Security, Programming Languages and Systems Seminar (SPYS).

Selected Current Research Projects

Formulog extends the logic programming language Datalog with mechanisms for constructing and reasoning about SMT formulas. In doing so, it makes it possible to write a range of SMT-based static analyses in a way that is both close to their formal specifications and amenable to high-level optimizations and efficient evaluation.
Privacy Tools
From the official website: The Privacy Tools Project is a broad effort to advance a multidisciplinary understanding of data privacy issues and build computational, statistical, legal, and policy tools to help address these issues in a variety of contexts.

Mailing Lists

We have two mailing lists dedicated to programming languages. The md309 list is for students and former students of the PL Lab. The programming list is for a wider audience of people (at Harvard and elsewhere) who are interested in programming languages. Using the above link, you can either join the Google group (if you have a Google account) or subscribe to the distribution list (if you don't).



Ph.D. Students


Recent alums and affiliates

Recent Courses