justin-site/content/news.md

542 B

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