Aaron Bembenek

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

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