Computer Scientist. Reader of Books. Fisher of Fish.
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 have also worked closely with Kobbi Nissim. I am interested in studying how to achieve formal security and privacy guarantees in real systems (including systems beyond software systems, such as those induced by laws and regulations).
My undergraduate degree is in classics from Princeton University. I enjoy reading and spending time outdoors.
- 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:
- Teaching Fellow, CS 152: Programming Languages (Harvard, 2016)
Honors and Awards
- Smith Family Graduate Science and Engineering Fellowship (Harvard, 2017-2018)
- Certificate of Distinction in Teaching (Harvard, 2016)