I am a second-year computer science PhD student at the Harvard John A. Paulson School of Engineering and Applied Sciences, where I am a member of the programming languages group. I am advised primarily by Stephen Chong, although I also work under the guidance of Kobbi Nissim. I am interested in studying how to apply technologies with formal security and privacy guarantees to real systems.

My undergraduate degree is in classics from Princeton University. I enjoy reading and spending time outdoors (especially fly fishing).

AbcDatalog

AbcDatalog is an open-source implementation of the logic programming language Datalog written in Java. It provides ready-to-use implementations of common Datalog evaluation algorithms, as well as some experimental multi-threaded evaluation engines. It supports language features beyond core Datalog such as explicit (dis-)unification of terms and stratified negation. Additionally, AbcDatalog is designed to be easily extensible with new evaluation engines and new language features.

Privacy Tools Project

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. As part of this project, I have contributed to a working group that tries to bridge legal and technical definitions of privacy, resulting in two (draft) papers that have been workshopped at the Privacy Law Scholars Conference:

• Bridging the Gap between Computer Science and Legal Approaches to Privacy (PLSC 2016)
• Differential Privacy: A Primer for a Non-technical Audience (PLSC 2017)

• Teaching Fellow, CS 152: Programming Languages (Harvard, 2016)

• Smith Family Graduate Science and Engineering Fellowship (Harvard, 2017-2018)
• Certificate of Distinction in Teaching (Harvard, 2016)

Messenger pigeon is preferred. If your local dovecote is depleted, feel free to email me at Turn on JavaScript to view the email address. If you are on campus, you can probably find me in Maxwell Dworkin 309.