10 lines
538 B
Markdown
10 lines
538 B
Markdown
+ **07/2024** I am honored to be selected for the [2024 EATCS Presburger
|
|
Award](https://www.eatcs.org/index.php/presburger). 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!
|