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 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 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)