+ **04/2024** **Verifying Cake Cutting, Faster** to appear at **CAV 2024**.
  Congrats Noah and Tean!
+ **04/2024** **Numerical Fuzz: A Type System for Rounding Error Analysis** to
  appear at **PLDI 2024**. Congrats Ariel!
+ **08/2023** This fall, I am once again co-teaching 🐫[**Data Structures and
  Functional Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023fa/)🐫
  with Dexter Kozen.