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

Update.

This commit is contained in:
Justin Hsu 2023-01-10 18:09:20 -05:00
parent 08b0d31ace
commit 4b1367a1f8
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
content/about.md
View File

@ -16,7 +16,8 @@ Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
the [Department of Computer Science](https://cis.upenn.edu) at the [University the [Department of Computer Science](https://cis.upenn.edu) at the [University
of Pennsylvania](https://www.upenn.edu). of Pennsylvania](https://www.upenn.edu).
I am funded by an NSF CAREER award and a Facebook Research award. I am funded by the National Science Foundation, the Office of Naval Research,
and Facebook Research.
## 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
@ -44,10 +45,8 @@ From a more traditional algorithms perspective, I am also interested in applying
differential privacy to optimization, machine learning, and mechanism design. differential privacy to optimization, machine learning, and mechanism design.
## Teaching ## ## Teaching ##
- **Data Structures and Functional Programming (CS 3110)**: [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/) [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)
- **Category Theory for Computer Scientists (CS 6117)**: [F22](https://www.cs.cornell.edu/courses/cs6117/2022fa/) - **Category Theory for Computer Scientists (CS 6117)**: [F22](https://www.cs.cornell.edu/courses/cs6117/2022fa/)
- **Data Structures and Functional Programming (CS 3110)**:
[S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/)
[S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)
- **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182) - **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182)
- **Reasoning about Probabilistic Programs** <br> - **Reasoning about Probabilistic Programs** <br>
**Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: **Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: