+ **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)**](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!
+ **07/2025** I gave two lectures at the [**Cornell, Maryland, Max Planck
  Pre-doctoral Research School in Computer Science (CMMRS
  2025)**](https://cmmrs.mpi-sws.org/) on **Type Systems: Between Theory and
  Practice**. A lot of fun, thanks for the highly engaged students!
+ **07/2025** My (first!) PhD student [**Jialu Bao**](https://baojia.lu/about/)
  has successfully defended her thesis, and will be starting a postdoc at
  Northeastern with Steven Holtzen. Huge congratulations Jialu!!
+ **07/2025** **Towards an Axiomatisation of the Neighborhood Monad** will appear at
  **BMQL 2025**. Congrats to a fantastic group of students and TAs from the
  [**Adjoint School 2025**](https://adjointschool.com/2025.html): Max, Chase,
  Jonas, Jón, and Jessica!
+ **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
  **PLDI 2025**. Congrats Ariel and Laura!
+ **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**.