CS 6117.

content/about.md

@@ -44,6 +44,7 @@ From a more traditional algorithms perspective, I am also interested in applying
 differential privacy to optimization, machine learning, and mechanism design.
 
 ## Teaching ##
+- **Category Theory for Computer Scientists (CS 6117)**: [F22](https://www.cs.cornell.edu/courses/cs6117/2022fa/)
 - **Data Structures and Functional Programming (CS 3110)**: [S22](https://www.cs.cornell.edu/courses/cs3110/2022sp/)
 - **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182)
 - **Reasoning about Probabilistic Programs** <br>

content/news.md

@@ -1,3 +1,5 @@
++ **08/2022** This fall, I am teaching [**Category Theory for Computer
+  Scientists (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2022fa/)!
 + **07/2022** **Symbolic Execution for Randomized Programs** to
   appear at **OOPSLA 2022**.
 + **05/2022** **Data-Driven Invariant Learning for Probabilistic Programs** to
@@ -12,12 +14,3 @@
   with Nate Foster.
 + **11/2021** **A Separation Logic for Negative Dependence** to appear at **POPL
   2022**.
-+ **08/2021** This fall, I'm teaching a graduate seminar on **Foundations of
-  Probabilistic Programming (CS 6182)**. Follow along [here](https://www.cs.cornell.edu/courses/cs6182/2021fa/)!
-+ **07/2021** I'm happy to serve on the PC of **POPL 2022** and **PLDI 2022**.
-  Submit your best papers!
-+ **06/2021** I gave four lectures at this year's (virtual) [Oregon PL Summer
-  School](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php).
-  Slides and lecture recordings are [available
-  online](https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php).
-  Thanks to the organizers, and thanks to all the enthusiastic students!