Positions
- EiC, Transactions on Computational Logic, Journals and Magazines EiCs (2021 - 2024)
- Chair, ACM India Doctoral Dissertation Award Committee (2014 - 2017)
- ACM India Doctoral Dissertation Award Committee Chair, Awards Committee (2014 - 2017)
- Member, ACM India Doctoral Dissertation Award Committee (2013 - 2014)