From 05ba2b77732d7cea1ab34b1aae1f192ad6f56e5a Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Wed, 20 Aug 2025 22:01:43 -0400 Subject: [PATCH] End sabbatical. --- content/about.md | 4 ---- content/news.md | 7 ++----- 2 files changed, 2 insertions(+), 9 deletions(-) diff --git a/content/about.md b/content/about.md index c16e6a6..47ea7d9 100644 --- a/content/about.md +++ b/content/about.md @@ -2,10 +2,6 @@ I am an associate professor in the [Department of Computer Science](https://www.cs.cornell.edu/) at [Cornell University](https://www.cornell.edu). - -**This year, I am away on sabbatical at Imperial College London. I will be back to Cornell in August 2025.** - - Previously, I was an assistant professor in the [Department of Computer Sciences](https://www.cs.wisc.edu/) at the [University of Wisconsin--Madison](https://www.wisc.edu), and a postdoc at the [Department of diff --git a/content/news.md b/content/news.md index f15189b..886bdfc 100644 --- a/content/news.md +++ b/content/news.md @@ -1,3 +1,5 @@ ++ **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)**. + **08/2025** **SafeTree: Expressive Tree Policies for Microservices** and **A Hoare Logic for Symmetry Properties** will appear at **OOPSLA 2025**. Congrats Karuna and Vaibhav! @@ -17,8 +19,3 @@ + **01/2025** This semester, I'll be a mentoring a group for the [**Adjoint School 2025**](https://adjointschool.com/2025.html) focused on **Categorical Metric Structures for Numerical Analysis**. -+ **09/2024** This academic year, I will be on sabbatical at **Imperial College - London** visiting [**George - Constantinides**](https://cas.ee.ic.ac.uk/people/gac1/) and [**Eric - Kerrigan**](https://profiles.imperial.ac.uk/e.kerrigan), supported by a - **Wolfson Visiting Fellowship** from the Royal Society. Thank you!