From 35e1846f43b972c38b014037ea936c40027e725a 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 | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/content/about.md b/content/about.md index 24fde69..67ce07f 100644 --- a/content/about.md +++ b/content/about.md @@ -33,9 +33,10 @@ properties like **statistical accuracy**, **incentive compatibility**, Markov 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. +rich mathematical structure and properties. My students are currently +investigating continuous-time systems, 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/)