Awards.

content/about.md

@@ -55,6 +55,17 @@ differential privacy to optimization, machine learning, and mechanism design.
 - **Introduction to the Theory and Design of PL (CS 538)**: [S20](teaching/s20/cs538/) [S19](teaching/s19/cs538/)
 - **Topics in Security and Privacy Technologies (CS 839)**: [F18](teaching/f18/cs839/)
 
+## Awards and Honors ##
+
+- **2024** EATCS [Presburger Award](https://www.eatcs.org/index.php/presburger)
+- **2024** Royal Society [Wolfson Visiting Fellowship](https://royalsociety.org/grants/royal-society-wolfson-visiting-fellowship/)
+- **2022** CAV Distinguished Paper Award
+- **2021** POPL Distinguished Paper Award
+- **2020** POPL Distinguished Paper Award
+- **2020** NSF CAREER award
+- **2018** ACM SIGPLAN [John C. Reynolds Doctoral Dissertation Award](https://www.sigplan.org/Awards/Dissertation/)
+- **2015** Simons Award for Graduate Students in Theoretical Computer Science
+
 ## Service ##
 - **2024** OOPSLA, CSF, CCS, MFPS
 - **2023** CSF, ICALP-B, LICS, OOPSLA, MFPS

content/news.md

@@ -1,9 +1,9 @@
++ **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!
-+ **08/2023** This fall, I am once again co-teaching 🐫[**Data Structures and
-  Functional Programming (CS 3110)**](https://www.cs.cornell.edu/courses/cs3110/2023fa/)🐫
-  with Dexter Kozen.