I am an Assistant Professor in the Computer Science Department and Institute for Software Research, and am a member of CyLab and the Principles of Programming Group. My research interests are in security, privacy, formal methods, and programming languages.


Our paper on privacy and overfitting has been selected as a distinguished paper at the 31st IEEE Computer Security Foundations Symposium! First-author Sam Yeom will present the work at the conference in Oxford this July.
Check out our preprints on influence-directed explanations and counterfactual active learning.
Our preprint on PrivacyProxy is now available on arXiv.
Our paper, Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs, was accepted at CCS 2017! Check out the TR on arXiv.

Last updated May. 14 2018