Professional Activities

Editorial

• Member, Editorial Board, Proceedings - Mathematical Sciences, Indian Academy of Sciences, 2025-2027.

• Guest Co-Editor, special issue of SIAM Journal on Computing devoted to selected papers from FOCS 2024.

• Member, Editorial Board, ACM Books. , Oct 2022-Sep 2025.

• Member, Editorial Board, Electronic Colloquium in Computational Complexity (ECCC), (since May 2021.)

• Editor, Logical Methods in Computer Science, since June 2020.

• Member, Editorial Board, LIPIcs , June 2019 - May 2027. (Chairperson during Nov 2023-Oct 2025)

Prize/Award Committees

• Member of the jury for the Infosys Prize in Mathematical Sciences for 2023, 2024.

• Member of the Award Committee for the ACM India Outstanding Contribution to Computing Education Award 2024 .

• Member of the Award Committee for the Abacus Medal 2022 (formerly known as the Nevanlinna prize) awarded by the International Mathematical Union IMU.

• Member, Award Committee, Presburger Award of the EATCS , 2020-2022. Chairperson during 2022.

Steering/Advisory/Council/Board/Search

• Member, Nominating Committee, International Mathematical Union, 2026.

• Member, Steering Committee, the SAT Association and Conference . 2023-2027.

• Member of the ICM Structure Committee for ICM 2026.

• Member, Advisory Board, TheoretiCS , 2020-.
  A new diamond-open-access electronic journal covering all areas of Theoretical Computer Science (TCS).

• Member, Executive Council of the Indian Association for Research in Computing Science IARCS , 2021-2026, 2000-2002.

• Member of Board of Trustees as Paper Chair, Computational Complexity Foundation Inc , 2020-2023.

• Member, Steering Committee, FSTTCS , 2016-2020. (Chairperson -- May2018-July2019)

Program Committees

• Member, Programme Committee, International Centre for Theoretical Sciences ICTS , 2022-2025.

• Conference, Programme Committee co-Chair: SAT 2023 , FSTTCS 2010 , FST&TCS 2004 .

• Conference, Programme Committee Member: SAT 2025, FSTTCS 2024, FOCS 2024, SAT 2024, CICM 2024, FSTTCS 2023, CSL 2023 , MFCS 2022 , SAT 2022, SAT 2021, CSR 2020, STACS 2020, FSTTCS 2018, CSR 2017, CALDAM 2016, FSTTCS 2015, ISAAC 2015, FSTTCS 2013, CSR 2011, CCC 2010, WALCOM 2010, FSTTCS 2009, STACS 2009, FSTTCS 2002, FSTTCS 1998, NSTCS 1998.

Event Co-Organiser

• Dagstuhl Seminar 25111, on Computational Complexity of Discrete Problems. Mar 09 -- 14, 2025, Dagstuhl, Germany.

• Complexity Theory Update Meeting , 23-25 Jan 2025, IMSc .

• Dagstuhl Seminar 24421, on SAT and Interactions. Oct 13 -- 18, 2024, Dagstuhl, Germany.

• Oberwolfach Workshop 2413 on "Proof Complexity and Beyond". Mar 24 -- 29, 2024, Oberwolfach Mathematics Research Institute, Germany.

• Dagstuhl Seminar 23111, on Computational Complexity of Discrete Problems. Mar 12 -- 17, 2023, Dagstuhl, Germany.

• Dagstuhl Seminar 21121, on Computational Complexity of Discrete Problems. Mar 22 -- 26, 2021, Dagstuhl, Germany.

• Dagstuhl Seminar 20061, on SAT and Interactions. Feb 2 -- 7, 2020, Dagstuhl, Germany.

• CAALM: Complexity, Algorithms, Automata, Logic Meeting 2019. Organised at CMI during Jan 21 – Jan 25, 2019 under the aegis of the CNRS Indo-French joint research unit UMI- ReLaX.

• Workshop on Arithmetic Complexity, 27 Feb - 3 Mar 2017.
  (under the Indian National Mathematics Initiative, as part of the thematic year on Complexity and Cryptography.)

• Dagstuhl Seminar 15401, on Circuits, Logic and Games. Sep 27 -- Oct 2, 2015, Dagstuhl, Germany.

• Indo-Workshop on Computational Complexity, Jan 5-9 2015, Chennai.

• Aarhus-Chennai Computational Complexity Workshop, 2-6 Aug 2010, Aarhus, Denmark.

• DST-RFBR-funded bilateral Workshop on Algebra, Combinatorics and Complexity, Ekaterinburg, Russia, Oct 1–3, 2008.

• Workshop on Automata, Combinatorics and Complexity, June 6,7 2008, Moscow.
  Satellite workshop to CSR 2008.

• Update Meeting on Algorithms and Complexity, 10-12 March 2008, IMSc .

Other

• Speaker under the Eminent Speakers Program of ACM India , 2019-2025.