22 lines
1.1 KiB
Markdown
22 lines
1.1 KiB
Markdown
|
I am a graduate student in the [Department of Computer
|
||
|
|
Science](http://cis.upenn.edu) at the [University of
|
||
|
|
Pennsylvania](http://upenn.edu).
|
||
|
|
There, I am associated with the [Theory Group](http://theory.cis.upenn.edu), the
|
||
|
|
[PL Club], 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
|
||
|
|
Roth](http://cis.upenn.edu/~aaroth).
|
||
|
|
|
||
|
|
## Research Interests ##
|
||
|
|
I spend my time thinking about questions in **verification**, **programming
|
||
|
|
languages**, and **algorithms**. My work has mostly centered on [differential
|
||
|
|
privacy](http://en.wikipedia.org/wiki/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](http://en.wikipedia.org/wiki/Type_system) and [program
|
||
|
|
logics](http://en.wikipedia.org/wiki/Hoare_logic))---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.
|