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/)