From 4b1367a1f8c900ae47c72672e5270f85f77000b0 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Tue, 10 Jan 2023 18:09:20 -0500 Subject: [PATCH] Update. --- content/about.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/content/about.md b/content/about.md index 72dd236..53a95b5 100644 --- a/content/about.md +++ b/content/about.md @@ -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 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 ## 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. ## 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/) -- **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) - **Reasoning about Probabilistic Programs**
**Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: