1.6 KiB
I am a final-year graduate student in the Department of Computer Science at the University of Pennsylvania, where 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. I am partially supported by a Simons Graduate Fellowship in Theoretical Computer Science.
Research Interests
My research spans two classical areas of computer science: algorithms from theoretical computer science (commonly known as TCS) and formal verification. My work has mostly centered on differential privacy, a rigorous definition of privacy that is currently under extensive study.
From the verification side, I investigate formal methods---such as type systems and program logics---to verify that programs are differentially private. More generally, I consider formal verification for properties of randomized algorithms, including incentive compatibility, Markov chain mixing, and various notions of algorithmic stability. From the algorithms side, I apply differential privacy to optimization, machine learning, and mechanism design.
Service
- FCS 2017 PC
- TPDP 2017 PC
- MFPS 2017 PC
- PLDI 2016 ERC