justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Use https for links.

This commit is contained in:
Justin Hsu 2017-11-14 16:06:41 +00:00
parent cc2820a3b6
commit dc1ae483a2
3 changed files with 430 additions and 432 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

834
bibs/myrefs.bib
View File

File diff suppressed because it is too large Load Diff

24
content/about.md
View File

@ -1,27 +1,27 @@
I am a postdoc in the [Programming Principles, Logic, and Verification
Group](http://pplv.cs.ucl.ac.uk/welcome/) at the [University College
Group](https://pplv.cs.ucl.ac.uk/welcome/) at the [University College
London](https://www.ucl.ac.uk/), hosted by [Alexandra
Silva](http://www.alexandrasilva.org/).
Silva](https://www.alexandrasilva.org/).
Previously, I was a graduate student in the [Department of Computer
Science](http://cis.upenn.edu) at the [University of
Pennsylvania](http://www.upenn.edu), 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 was very fortunate to be co-advised by
[Benjamin Pierce](http://cis.upenn.edu/~bcpierce) and [Aaron
Roth](http://cis.upenn.edu/~aaroth).
Science](https://cis.upenn.edu) at the [University of
Pennsylvania](https://www.upenn.edu), associated with the [Theory
Group](https://theory.cis.upenn.edu), the [PL
Club](https://www.cis.upenn.edu/~plclub/), and the [Privacy
Group](https://privacy.cis.upenn.edu). I was very fortunate to be co-advised by
[Benjamin Pierce](https://cis.upenn.edu/~bcpierce) and [Aaron
Roth](https://cis.upenn.edu/~aaroth).
## 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**](http://en.wikipedia.org/wiki/Differential_privacy), a rigorous
privacy**](https://en.wikipedia.org/wiki/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**](http://en.wikipedia.org/wiki/Type_system) and [**program
logics**](http://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs
systems**](https://en.wikipedia.org/wiki/Type_system) and [**program
logics**](https://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

4
content/footer.md
View File

@ -1,6 +1,6 @@
[Source](https://git.justinh.su/justhsu/justin-site).
Powered by
[Hakyll](http://jaspervdj.be/hakyll/),
[Pandoc](http://johnmacfarlane.net/pandoc/),
[Hakyll](https://jaspervdj.be/hakyll/),
[Pandoc](https://johnmacfarlane.net/pandoc/),
and [bibtex2html](https://www.lri.fr/~filliatr/bibtex2html/).
© Justin Hsu, 2015.