justin-site/content/about.md

36 lines
1.7 KiB
Markdown
Raw Normal View History

2017-09-20 14:29:17 +00:00
I am a postdoc in the [Programming Principles, Logic, and Verification
Group](http://pplv.cs.ucl.ac.uk/welcome/) at the [University College
London](https://www.ucl.ac.uk/), hosted by [Alexandra
Silva](http://www.alexandrasilva.org/).
Previously, I was a graduate student in the [Department of Computer
2015-01-05 04:43:45 +00:00
Science](http://cis.upenn.edu) at the [University of
2017-09-20 14:29:17 +00:00
Pennsylvania](http://www.upenn.edu), associated with the [Theory
Group](http://theory.cis.upenn.edu), [PL
2015-01-06 05:21:36 +00:00
Club](http://www.cis.upenn.edu/~plclub/), and the [Privacy
2017-09-20 14:29:17 +00:00
Group](http://privacy.cis.upenn.edu). I was very fortunate to be co-advised by
2015-01-06 05:21:36 +00:00
[Benjamin Pierce](http://cis.upenn.edu/~bcpierce) and [Aaron
2017-09-20 14:29:17 +00:00
Roth](http://cis.upenn.edu/~aaroth).
2015-08-17 10:10:24 +00:00
2015-01-05 04:43:45 +00:00
## Research Interests ##
2017-01-17 10:45:18 +00:00
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
2015-01-12 15:17:38 +00:00
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.
2017-01-17 10:45:18 +00:00
From the verification side, I investigate 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. 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.
2017-01-17 10:33:57 +00:00
## Service ##
2017-05-30 21:22:57 +00:00
- **FCS 2017** PC
2017-01-17 10:33:57 +00:00
- **TPDP 2017** PC
- **MFPS 2017** PC
- **PLDI 2016** ERC