Positions
- Computing Research Association (CRA), Representatives to Other Organizations (2024 - 2025)
- Member, ACM A. M. Turing Award Committee (2019 - 2024)
- Chair, ACM A. M. Turing Award Committee (2022 - 2023)
- ACM A. M. Turing Award Committee Chair, Awards Committee (2022 - 2023)
- Member, ACM Prize in Computing Committee (2012 - 2016)
- Chair, ACM Prize in Computing Committee (2013 - 2014)
- Member-at-Large, ACM Council (2006 - 2007)
- Member, Education Advisory Committee (2006 - 2007)