This commit is contained in:
2026-05-12 22:27:13 -04:00
parent 34e1cfcc37
commit 82f404441c
+1 -1
View File
@@ -56,7 +56,7 @@ policies, and algorithms from numerical analysis and applied mathematics.
- **2015** Simons Award for Graduate Students in Theoretical Computer Science
## Service ##
- **2027** POPL (associate chair)
- **2027** POPL (AC)
- **2026** ESOP, LICS, ICTAC
- **2025** POPL, ICALP-B, HOPE, PROPL
- **2024** OOPSLA, CSF, CCS, MFPS