justin-site/content/news.md

865 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!