Administrative Service
- President, Indian Association for Research in Computing Science (IARCS), since 2023
- Secretary, Indian Association for Research in Computing Science (IARCS), 2017–2023
Scientific Committees of International Conferences
- ATVA — 2026, 2025 (co-chair), 2024, 2022, 2017
- CAV — 2024
- CONCUR — 2025
- FORMATS — 2024, 2023, 2020, 2018
- FoSSaCS — 2026
- FSTTCS — 2026, 2023, 2017
- GandALF — 2026, 2020, 2018
- Highlights of Logic, Automata and Games — 2025
- ICFEM — 2026, 2025
- ICTAC — 2026
- MFCS — 2019
- NETYS — 2025
- Reachability Problems (RP) — 2021
- VMCAI — 2026, 2025
International Workshops Organized
- Focus Programme on Formal Methods and AI, CMI (2026)
- Autobóz Workshop 2025, Research Camp in Automata, Denmark (2025)
- ReLaX Workshop on Games, online (2021)
- Advances in Verification, workshop at FSTTCS 2020, online
- Complexity, Algorithms, Automata and Logic Meet (CAALM 2019), CMI
- Automata, Concurrency and Timed Systems (ACTS), CMI (2015 and 2017)
- Trends and Challenges in Quantitative Verification, Mysore Park Workshop at Infosys Campus, Mysore, India (2016)