• Home
• Publications
• Teaching
• Activities
• Talks
• Misc

Professional Roles

• - Treasurer, IARCS, Indian Association for Research in Computer Science , from 2020 -- present.
• - Council Member, IARCS, Indian Association for Research in Computer Science , from 2017 -- present.

Organizing Committee

• - MMComplexity 2024 : Workshop on Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds, at FSTTCS'2024, IIT Gandhinagar, Gujarat, India, December 14-15, 2024.
• - Dagstuhl Seminar 24171 on Automated Synthesis: Functional, Reactive and Beyond, Schloss Dagstuhl, Wadern, Germany, April 21-26, 2024.
• - ACTS 2023 : 6th edition of the Workshop on Automata, Concurrency, and Timed Systems, ENS Paris-Saclay, Paris, France, May 30 - June 2, 2023.
• - FSTTCS 2019: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science at IIT Bombay, India, December 11-13, 2019.
• - PRaFM 2017: 1st Workshop on Probabilistic Reasoning and Formal Methods -- co-located with FSTTCS 2017 at Kanpur, India, December 11, 2017.
• - TCQV 2016: Trends and Challenges in Quantitative Verification -- a Mysore Park Workshop at Mysuru, India, February 1-4, 2016.
• - POPL 2015, 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages at TIFR, Mumbai, India, January 12-18, 2015.
• - VMCAI 2015, 16th International Conference on Verification, Model Checking, and Abstract Interpretation, at TIFR, Mumbai, India, January 12-14, 2015.

Program Committee Co-chair

• - ATVA 2024 , 22nd International Symposium on Automated Technology for Verification and Analysis, 21-24 October 2024, Kyoto, Japan.
• - FSTTCS 2016, 36th International Conference on Foundations of Software Technology and Theoretical Computer Science at December 2016, Chennai, India.

Program Committee member

• - AAAI 2025, 39th Annual AAAI Conference on Artificial Intelligence (AAAI-24) 25 Feb - 4 Mar 2025, Philadelphia, USA.
• - NETYS 2025, 13th Edition of the International Conference on NETworked sYStems, 21-23 May 2025, Rabat, Morocco.
• - COORDINATION 2025, 27th International Conference on Coordination Models and Languages, one of the three conferences of DisCoTec 2025, 16-20 June 2025, Lille, France.
• - ICALP 2025, 52nd EATCS International Colloquium on Automata, Languages, and Programming, 8-11 July 2025, Aarhus, Denmark.
• - CAV 2025, 37th International Conference on Computer Aided Verification 21-25 July 2025, Zagreb, Croatia.
• - ATVA 2025, 23rd International Symposium on Automated Technology for Verification and Analysis, 27-31 October 2025, Bengaluru, India.


• - AAAI 2024, 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24) 20-27 February 2024, Vancouver, Canada.
• - CAV 2024, 36th International Conference on Computer Aided Verification 24-27 July 2024, Montreal, Canada.
• - TACAS 2024 , 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Part of ETAPS, 6-11 April 2024, Luxembourg city, Luxembourg.
• - CONCUR 2024 , 35th International Conference on Concurrency Theory Part of CONFEST 2024, 9-13 September 2024, Calgary, Canada.
• - ATVA 2024 (Co-chair) , 22nd International Symposium on Automated Technology for Verification and Analysis, 21-24 October 2024, Kyoto, Japan.
• - SETTA 2024, 10th International Symposium on Dependable Software Engineering: Theories, Tools and Applications, 26-28 November 2024, Hong Kong, China.
• - FSTTCS 2024, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science December 2024, India.


• - LICS 2023, 38th Annual ACM/IEEE Symposium on Logic in Computer Science 26-29 June 2023, Boston, USA.
• - STACS 2023 , 40th International Symposium on Theoretical Aspects of Computer Science 7-10 March 2023, Hamburg, Germany.
• - Highlights 2023, 11th annual conference on Highlights of Automata, Logic, and Games 17-21 July 2023, Kassel, Germany.
• - TIME 2023 , 30th International Symposium on Temporal Representation and Reasoning 25-26 September 2023, Athens, Greece.
• - ICTAC 2023 , 20th International Colloquium on Theoretical Aspects of Computing 04-08 December 2023, Lima, Peru.
• - CONCUR 2022, 33rd International Conference on Concurrency Theory part of CONFEST 2022 at Warsaw, Poland, 12-16 September 2022.
• - FOSSACS 2022, 25th International Conference on Foundations of Software Science and Computation Structures part of ETAPS 2022, 2-7 April 2022, Munich, Germany.
• - FSTTCS 2021, 41st International Conference on Foundations of Software Technology and Theoretical Computer Science, to be held virtually, December 2021.
• - CONCUR 2021, 32nd International Conference on Concurrency Theory part of QONFEST 2021 at Paris, France, 23-27 August 2021.
• - ICALP 2021, 48th International Colloquium on Automata, Languages, and Programming at Glasgow, Scotland, 12-16 July 2021.
• - AAAI 2021, 35th AAAI Conference on Artificial Intelligence (AAAI-21) held virtually, February 2-9, 2021.
• - RP 2020, 14th International Conference on Reachability Problems at Paris, France 19-21 October 2020.
• - RP 2019, 13th International Conference on Reachability Problems at Brussels, Belgium, 11-13 September 2019.
• - FORMATS 2019, 17th International Conference on Formal Modelling and Analysis of Timed Systems at Amsterdam, the Netherlands, 26-31 August 2019.
• - ACSD 2019: 19th International Conference on Application of Concurrency to System Design at Aachen, Germany, 23-28 June 2019.
• - ICLA 2019: 8th Indian Conference on Logic and its Applications 2019 at Indian Institute of Technology Delhi, New Delhi, India, 3-5 March 2019.
• - RP 2018, 12th International Conference on Reachability Problems at Marseille, France, September 2018.
• - ACSD 2018, 18th International Conference on Application of Concurrency to System Design at Bratislava, Slovakia, June 2018.
• - FSCD 2018, 3rd International Conference on Formal Structures for Computation and Deduction at Oxford, UK, July 2018.
• - FSTTCS 2017, 37th International Conference on Foundations of Software Technology and Theoretical Computer Science at Kanpur, India, December 2017.
• - FSTTCS 2016 (Co- chair) , 36th International Conference on Foundations of Software Technology and Theoretical Computer Science at Chennai, India, December 2016.
• - FORMATS 2016, 14th International Conference on Formal Modelling and Analysis of Timed Systems at Quebec City (Canada), 24-26 August 2016.
• - FSTTCS 2015, 35th International Conference on Foundations of Software Technology and Theoretical Computer Science at Bangalore, India, December 2015.
• - FORTE 2015, 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, at Inria Grenoble - Rhone-Alpes, France, June 2-4, 2015.
• - VMCAI 2015, 16th International Conference on Verification, Model Checking, and Abstract Interpretation, at TIFR, Mumbai, India, January 12-14, 2015.