service
This commit is contained in:
parent
413e6d6d16
commit
77096f6ab4
@ -56,6 +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)
|
||||
- **2026** ESOP, LICS
|
||||
- **2025** POPL, ICALP-B, HOPE, PROPL
|
||||
- **2024** OOPSLA, CSF, CCS, MFPS
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user