2015-01-05 04:43:45 +00:00
|
|
|
I am a graduate student in the [Department of Computer
|
|
|
|
Science](http://cis.upenn.edu) at the [University of
|
2015-01-06 05:21:36 +00:00
|
|
|
Pennsylvania](http://www.upenn.edu). There, I am associated with the [Theory
|
|
|
|
Group](http://theory.cis.upenn.edu), the [PL
|
|
|
|
Club](http://www.cis.upenn.edu/~plclub/), and the [Privacy
|
|
|
|
Group](http://privacy.cis.upenn.edu). I am very fortunate to be co-advised by
|
|
|
|
[Benjamin Pierce](http://cis.upenn.edu/~bcpierce) and [Aaron
|
2015-01-05 04:43:45 +00:00
|
|
|
Roth](http://cis.upenn.edu/~aaroth).
|
|
|
|
|
2015-08-17 10:10:24 +00:00
|
|
|
I am supported by the Simons Graduate Fellowship in Theoretical Computer
|
2015-09-11 17:32:49 +00:00
|
|
|
Science. Previously, I was awarded an Honorable Mention for the NSF Graduate
|
|
|
|
Research Fellowship Program.
|
2015-08-17 10:10:24 +00:00
|
|
|
|
2015-01-05 04:43:45 +00:00
|
|
|
## Research Interests ##
|
|
|
|
I spend my time thinking about questions in **verification**, **programming
|
2015-01-12 15:17:38 +00:00
|
|
|
languages**, and **algorithms**. My work has mostly centered on [**differential
|
|
|
|
privacy**](http://en.wikipedia.org/wiki/Differential_privacy), a rigorous
|
2015-01-05 04:43:45 +00:00
|
|
|
definition of privacy that is currently under extensive study.
|
|
|
|
|
|
|
|
From the verification side, I am interested in using formal methods---such as
|
2015-01-12 15:17:38 +00:00
|
|
|
[**type systems**](http://en.wikipedia.org/wiki/Type_system) and [**program
|
|
|
|
logics**](http://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs are
|
2015-01-05 04:43:45 +00:00
|
|
|
differentially private. From the algorithms side, I am interested in
|
|
|
|
applications of differential privacy to optimization, machine learning, and
|
|
|
|
mechanism design.
|
2017-01-17 10:33:57 +00:00
|
|
|
|
|
|
|
## Service ##
|
|
|
|
- **TPDP 2017** PC
|
|
|
|
- **MFPS 2017** PC
|
|
|
|
- **PLDI 2016** ERC
|