From 2e89a639c85d3ddd667bc397ce0017a071b11d7a Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Fri, 19 Jul 2024 01:23:30 -0400 Subject: [PATCH] More. --- content/about.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/content/about.md b/content/about.md index 24fde69..9b28016 100644 --- a/content/about.md +++ b/content/about.md @@ -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/)