867 B
867 B
- 09/2024 This academic year, I will be on sabbatical at Imperial College London visiting George Constantinides and Eric Kerrigan, supported by a Wolfson Visiting Fellowship from the Royal Society. Thank you!
- 07/2024 I am honored to be selected for the 2024 EATCS Presburger Award. Thank you to all of my mentors and collaborators for making this possible!
- 04/2024 A Categorical Approach to DIBI Models to appear at FSCD 2024. Congrats Tao and Jialu!
- 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!