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

More.

This commit is contained in:
Justin Hsu 2024-07-19 01:23:30 -04:00
parent 5787795f5c
commit 2e89a639c8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
content/about.md
View File

@ -34,8 +34,8 @@ chain **mixing**, **algorithmic stability**, and **differential privacy**.
More broadly, I am interested in verification for all kinds of programs with
rich mathematical structure and properties, such as continuous-time systems,
programs with symmetries, economic mechanisms, and algorithms from numerical
analysis and applied mathematics.
programs with symmetries, economic mechanisms, runtime monitors for hierarchical
policies, and algorithms from numerical analysis and applied mathematics.
## Teaching ##
- **Data Structures and Functional Programming (CS 3110)**: [F23](https://www.cs.cornell.edu/courses/cs3110/2023fa/) [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/) [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)