1.1 KiB
I am a graduate student in the Department of Computer Science at the University of Pennsylvania. There, I am associated with the Theory Group, the PL Club, and the Privacy Group. I am very fortunate to be co-advised by Benjamin Pierce and Aaron Roth.
Research Interests
I spend my time thinking about questions in verification, programming languages, and algorithms. My work has mostly centered on differential privacy, a rigorous definition of privacy that is currently under extensive study.
From the verification side, I am interested in using formal methods---such as type systems and program logics---to verify that programs are differentially private. From the algorithms side, I am interested in applications of differential privacy to optimization, machine learning, and mechanism design.