From dafe3a253ef7ca0d1ade543754b9cd8553ba5368 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Sat, 23 Aug 2025 22:49:22 -0400 Subject: [PATCH] Link 6117. --- content/about.md | 2 +- content/news.md | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/content/about.md b/content/about.md index 47ea7d9..893e6e4 100644 --- a/content/about.md +++ b/content/about.md @@ -35,7 +35,7 @@ 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/) -- **Category Theory for Computer Scientists (CS 6117)**: [F22](teaching/f22/cs6117) +- **Category Theory for Computer Scientists (CS 6117)**: [F25](https://www.cs.cornell.edu/courses/cs6117/2025fa) [F22](teaching/f22/cs6117) - **Foundations of Probabilistic Programming (CS 6182)**: [F21](teaching/f21/cs6182) - **Reasoning about Probabilistic Programs**
**Invited Course at [OPLSS 2021](https://www.cs.uoregon.edu/research/summerschool/summer21/index.php)**: diff --git a/content/news.md b/content/news.md index 886bdfc..2b69d3f 100644 --- a/content/news.md +++ b/content/news.md @@ -1,5 +1,6 @@ + **08/2025** I'm back to Ithaca after a year on sabbatical! This fall, I'll be - teaching **Category Theory for Computer Scientists (CS 6117)**. + teaching [**Category Theory for Computer Scientists + (CS 6117)**](https://www.cs.cornell.edu/courses/cs6117/2025fa/). + **08/2025** **SafeTree: Expressive Tree Policies for Microservices** and **A Hoare Logic for Symmetry Properties** will appear at **OOPSLA 2025**. Congrats Karuna and Vaibhav!