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

Update bio.

This commit is contained in:
Justin Hsu 2020-02-04 15:27:50 -06:00
parent 1d59acba1e
commit 235bdefd8a
1 changed files with 9 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
content/about.md
View File

@ -3,22 +3,16 @@ Sciences](https://www.cs.wisc.edu/) at the [University of
Wisconsin--Madison](https://www.wisc.edu). Wisconsin--Madison](https://www.wisc.edu).
**I am currently looking for good students!** **I am always looking for good students!**
Previously, I was a postdoc in the [Department of Computer Previously, I was a postdoc at the [Department of Computer
Science](https://www.cs.cornell.edu/) at [Cornell Science](https://www.cs.cornell.edu/) at [Cornell
University](https://www.cornell.edu/), hosted by [Nate University](https://www.cornell.edu/), and at the [Programming Principles,
Foster](http://www.cs.cornell.edu/~jnfoster/), [Bobby
Kleinberg](http://www.cs.cornell.edu/~rdk/), and [Dexter
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 Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
[University College London](https://www.ucl.ac.uk/), hosted by [Alexandra [University College London](https://www.ucl.ac.uk/). I was a graduate student in
Silva](http://www.alexandrasilva.org/). I was a graduate student in the the [Department of Computer Science](https://cis.upenn.edu) at the [University
[Department of Computer Science](https://cis.upenn.edu) at the [University of of Pennsylvania](https://www.upenn.edu).
Pennsylvania](https://www.upenn.edu), where I was very fortunate to be advised
by [Benjamin Pierce](https://cis.upenn.edu/~bcpierce) and [Aaron
Roth](https://cis.upenn.edu/~aaroth).
## Research Interests ## ## Research Interests ##
I design methods to **formally verify** that programs are correct, especially I design methods to **formally verify** that programs are correct, especially
@ -52,8 +46,9 @@ differential privacy to optimization, machine learning, and mechanism design.
- **Topics in Security and Privacy Technologies (CS 839)**: [F18](https://pages.cs.wisc.edu/~justhsu/teaching/f18/cs839/) - **Topics in Security and Privacy Technologies (CS 839)**: [F18](https://pages.cs.wisc.edu/~justhsu/teaching/f18/cs839/)
## Service ## ## Service ##
- **2020** AAAI, CSF, LAFI, WoLLIC, PLMW - **2021** ESOP, PLMW@POPL
- **2019** POPL, PLMW, POST, CSF, DARS (co-chair) - **2020** AAAI, CSF, LAFI, WoLLIC, PLMW@POPL
- **2019** POPL, PLMW@POPL, POST, CSF, DARS (co-chair)
- **2018** LICS, WWW - **2018** LICS, WWW
- **2017** FCS, TPDP, MFPS - **2017** FCS, TPDP, MFPS
- **2016** PLDI (ERC) - **2016** PLDI (ERC)