13 lines
760 B
Markdown
13 lines
760 B
Markdown
+ **06/2025** **A Hoare Logic for Symmetry Properties** will appear at
|
|
**OOPSLA 2025**. Congrats Vaibhav!
|
|
+ **05/2025** **Bean: A Language for Backward Error Analysis** will appear at
|
|
**PLDI 2025**. Congrats Ariel and Laura!
|
|
+ **09/2024** This academic year, I will be on sabbatical at **Imperial College
|
|
London** visiting [**George
|
|
Constantinides**](https://cas.ee.ic.ac.uk/people/gac1/) and [**Eric
|
|
Kerrigan**](https://profiles.imperial.ac.uk/e.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**](https://www.eatcs.org/index.php/presburger). Thank you to all of my
|
|
mentors and collaborators for making this possible!
|