justin-site/content/about.md

56 lines
2.7 KiB
Markdown
Raw Normal View History

2018-09-03 06:46:31 +00:00
I am an assistant professor of [Computer Science](https://www.cs.wisc.edu/) at
the [University of Wisconsin--Madison](https://www.wisc.edu).
**I am currently looking for good students!**
Previously, I was a postdoc in the [Department of Computer
2018-03-24 23:49:19 +00:00
Science](https://www.cs.cornell.edu/) at [Cornell
2018-03-05 23:54:18 +00:00
University](https://www.cornell.edu/), hosted by [Nate
Foster](http://www.cs.cornell.edu/~jnfoster/), [Bobby
Kleinberg](http://www.cs.cornell.edu/~rdk/), and [Dexter
2018-09-03 06:46:31 +00:00
Kozen](http://www.cs.cornell.edu/~kozen/), and 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
2018-03-05 23:54:18 +00:00
Silva](http://www.alexandrasilva.org/). I was a graduate student in the
[Department of Computer Science](https://cis.upenn.edu) at the [University of
2018-09-03 06:46:31 +00:00
Pennsylvania](https://www.upenn.edu), where I was very fortunate to be advised
by [Benjamin Pierce](https://cis.upenn.edu/~bcpierce) and [Aaron
2017-11-14 16:06:41 +00:00
Roth](https://cis.upenn.edu/~aaroth).
2015-08-17 10:10:24 +00:00
2015-01-05 04:43:45 +00:00
## Research Interests ##
2018-09-03 06:46:31 +00:00
I design methods to **formally verify** that programs are correct, especially
2018-09-03 06:47:05 +00:00
programs that use **randomization**. Such programs can be easy to show correct
on paper, but surprisingly challenging for computers to analyze. Accordingly,
my research blends ideas from two classical areas of computer science:
**randomized algorithms** from theoretical computer science (**TCS**) and
**formal verification**.
2018-09-03 06:46:31 +00:00
Drawing inspiration from how humans reason about randomized algorithms, we can
build simpler and more automated verification techniques. In the past, I've
applied this approach to properties like **accuracy**, **incentive
compatibility**, Markov chain **mixing**, and various notions of **algorithmic
stability**.
A particular focus of my work has been [**differential
2017-11-14 16:06:41 +00:00
privacy**](https://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.
2018-09-03 06:46:31 +00:00
I have investigated a variety of formal methods---such as [**type
2017-11-14 16:06:41 +00:00
systems**](https://en.wikipedia.org/wiki/Type_system) and [**program
logics**](https://en.wikipedia.org/wiki/Hoare_logic)---to verify that programs
2018-09-03 06:46:31 +00:00
are differentially private.
From a more traditional algorithms perspective, I am also interested in applying
differential privacy to optimization, machine learning, and mechanism design.
2017-01-17 10:33:57 +00:00
2018-09-05 03:51:09 +00:00
## Teaching ##
2018-12-25 23:23:09 +00:00
- **Topics in Security and Privacy Technologies (CS 839)**: [F18](https://pages.cs.wisc.edu/~justhsu/teaching/f18/cs839/)
2018-11-13 21:12:43 +00:00
- **Introduction to the Theory and Design of PL (CS 538)**: [S19](https://pages.cs.wisc.edu/~justhsu/teaching/current/cs538/)
2018-09-05 03:51:09 +00:00
2017-01-17 10:33:57 +00:00
## Service ##
2018-10-13 03:43:27 +00:00
- **2019** POPL, PLMW, POST, CSF, DARS (co-chair)
2018-05-25 20:37:57 +00:00
- **2018** LICS, WWW
- **2017** FCS, TPDP, MFPS
- **2016** PLDI (ERC)