Professional Activities

• Member, Programme Committee, FSTTCS 2024 .

• Member, Programme Committee, FOCS 2024 .

• Member, Programme Committee, SAT 2024 .

• Member, Programme Committee, CICM 2024 .

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

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

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

• Member of the ICM Structure Committee for ICM 2026.

• Member, Programme Committee, FSTTCS 2023 .

• co-Chair, Programme Committee, SAT 2023 .

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

• FASc; Fellow of the Indian Academy of Sciences. (Elected 2022.)

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

• Member, Programme Committee, ICTS , 2022-2025.

• Member, Programme Committee, CSL 2023 .

• Member, Programme Committee, MFCS 2022 .

• Member, Programme Committee, SAT 2022 .

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

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

• Member, Programme Committee, SAT 2021 .

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

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

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

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

• Member, Programme Committee, CSR 2020 .

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

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

• Member, Editorial Board, LIPIcs , June 2019 - May 2027.

• Member, Programme Committee, STACS 2020 .

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

• Member, Programme Committee, FSTTCS 2018 .

• Co-organiser, 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.)

• Member, Programme Committee, CSR 2017 .

• Member, Programme Committee, CALDAM 2016 .

• Member, Programme Committee, FSTTCS 2015 .

• Member, Programme Committee, ISAAC 2015 .

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

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

• Member, Programme Committee, FSTTCS 2013 .

• Member, Programme Committee, 6th Computer Science in Russia (CSR) Conference 2011 .

• co-Chair, Programme Committee, FSTTCS 2010 .

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

• Member, Programme Committee, IEEE Conference on Computational Complexity 2010 . See the 2010 page here .

• Member, Programme Committee, Workshop on Algorithms and Computation 2010 .

• Member, Programme Committee, FSTTCS 2009 .
  

• Member, Programme Committee, STACS 2009 .

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

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

• Co-Chair, Programme Committee, FST&TCS 2004 .

• Member, Programme Committee, FST&TCS 2002 .

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

• Co-Chair, Organizing Committee, FST&TCS 1998 .

• Member, Programme Committee, FST&TCS 1998 .

• Member, Programme Committee, Eighth National Seminar on Theoretical Computer Science, June 1998, Bhubaneshwar.