diff --git a/content/about.md b/content/about.md
index 72dd236..53a95b5 100644
--- a/content/about.md
+++ b/content/about.md
@@ -16,7 +16,8 @@ Logic, and Verification Group](http://pplv.cs.ucl.ac.uk/welcome/) at the
 the [Department of Computer Science](https://cis.upenn.edu) at the [University
 of Pennsylvania](https://www.upenn.edu).
 
-I am funded by an NSF CAREER award and a Facebook Research award.
+I am funded by the National Science Foundation, the Office of Naval Research,
+and Facebook Research.
 
 ## Research Interests ##
 I design methods to **formally verify** that programs are correct, especially
@@ -44,10 +45,8 @@ From a more traditional algorithms perspective, I am also interested in applying
 differential privacy to optimization, machine learning, and mechanism design.
 
 ## Teaching ##
+- **Data Structures and Functional Programming (CS 3110)**: [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/) [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)
 - **Category Theory for Computer Scientists (CS 6117)**: [F22](https://www.cs.cornell.edu/courses/cs6117/2022fa/)
-- **Data Structures and Functional Programming (CS 3110)**:
-  [S23](https://www.cs.cornell.edu/courses/cs3110/2023sp/)
-  [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)
 - **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182)
 - **Reasoning about Probabilistic Programs** <br>
   **Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: