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