My research interests include data privacy (especially differential privacy), security (especially secure/verified computation), fairness, programming languages, and machine learning.