Professional Activities

Workshop and Special Session Organizer

       ESWeek 2018 Special Session on Embedded Software for Robotics
       ETAPS 2018 Workshop on Formal Methods for ML-Based Autonomous System

Panel Member

       DST SERB EECE Core Research Grant Proposal Review Committee, November 2023
       Best Paper Award Committee, EMSOFT 2020
       Best Paper Award Committee, EMSOFT 2018
       DST ICPS IoT Proposal Review Panel, IIT Kharagpur, November 2017
       DST ICPS Security Proposal Review Panel, IIT Kanpur, October 2017
       NSF panel for reviewing CPS breakthrough proposals, 2014

Program Committee Member

       AAAI 2025, FSE 2025
       RV 2024, EMSOFT 2024, AAAI 2024, ICCPS 2024
       RV 2023, ATVA 2023, EMSOFT 2023, ICCPS 2023
       RV 2022, EMSOFT 2022, FSE 2022, ICCPS 2022, HSCC 2022
       MEMOCODE 2021 (Co-Chair), ATVA 2021, EMSOFT 2021, HSCC 2021, AAAI 2021
       MEMOCODE 2020 (Co-Chair), ATVA 2020, EMSOFT 2020, HSCC 2020, ICCPS 2020
       ATVA 2019, EMSOFT 2019, ICCPS 2019
       EMSOFT 2018, HSCC 2018
       ATVA 2017, HSCC 2017
       EMSOFT 2014

Publicity Chair

       ICCPS 2019

Session Chair

       ICCPS 2024 - Session 1: Learning Enabled CPS
       IROS 2022 - Session WeC-OL1: Multi-Robot Systems 3
       EMSOFT 2022 - Session 7: Verification and Machine Learning
       ICRA 2021 - Session TuBT6: Motion Planning: Autonomous Driving
       IROS 2019 - Session TuAT2: Deep Learning for Aerial Systems
       EMSOFT 2018 - Session 3: Hybrid Systems
       ICCPS 2018 - Session 6: Optimization
       HSCC 2017 - Session 3: Invariance and Entropy
       EMSOFT 2015 - Session 9A: Formal Verification

Reviewer

   Journal
       Embedded Systems Letter
       ACM Transactions on Cyber-Physical Systems (TECS)
       Transactions on Dependable and Secure Computing
       Robotics and Automation Letter (RA-L)
       IEEE Transactions on Dependable and Secure Computing (TDSC)
       ACM Transactions on Embedded Computing Systems (TECS)
       IEEE Transactions on Computers (TC)
       Springer Journal on Discrete Event Dynamic Systems (DISC)
       IEEE Transactions on Robotics (T-RO)
       Software and Systems Modeling
       IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
       IEEE Transactions on Automatic Control (TAC)
       IEEE Communications Magazine
       Wireless Communications and Mobile Computing

   Conference
       RV 2024, EMSOFT 2024, IROS 2024, ICCPS 2024, AAAI 2024, ICRA 2024
       IROS 2023, RV 2023, ATVA 2023, EMSOFT 2023, ICRA 2023, ICCPS 2023
       IROS 2022, RV 2022, EMSOFT 2022, FSE 2022, ICRA 2022, HSCC 2022, ICCPS 2022
       ADHS 2021, IROS 2021, ATVA 2021, EMSOFT 2021, ICRA 2021, HSCC 2021, AAAI 2021
       ATVA 2020, EMSOFT 2020, ICRA 2020, ICCPS 2020, HSCC 2020
       IROS 2019, ICCPS 2019, ICRA 2019, ATVA 2019, EMSOFT 2019
       ICRA 2018, HSCC 2018, EMSOFT 2018, RSS Pioneers 2018
       ICRA 2017, ACC 2017, HSCC 2017, CDC 2017, CASE 2017, ATVA 2017
       CDC 2016, IROS 2016, MEMOCODE 2016
       ACC 2015, ICRA 2015, HSCC 2015, ICCPS 2015, IROS 2015, CDC 2015
       CDC 2014, IROS 2014, CAV 2014, ICRA 2014, ACC 2014, EMSOFT 2014, FMCAD 2014, RTSS 2014
       FoSSaCS 2013, HSCC 2013, IROS 2013, FMCAD 2013
       EMSOFT 2012, RTSS 2012, HSCC 2012
       DATE 2011, TACAS 2011, HSCC 2011, SPIN 2011, ATVA 2011, EMSOFT 2011
       ISCAS 2010, LPAR 2010
       TACAS 2009, RTSS 2009, FSTTCS 2009

External Examiner

       Reviewer for PMRF Fellows, June 2024
       PhD Thesis Evaluation Committee for Rohit Chowdhury, IISc Bangalore, 2024
       PhD Thesis Evaluation Committee for Vandana Kushwaha, IIIT Allahabad, 2024
       PhD Thesis Evaluation Committee for Lhilo Kenye, IIIT Allahabad, 2023
       PhD Thesis Evaluation Committee for Himanshu Gauttam, IIITM Gwalior, 2023
       Reviewer for PMRF Applications, April 2021, March 2022, September 2022
       Dissertation Committee Member for Manigh Goyal, UNC Chappel Hill, 2021-2022
       JRF to SRF Assesment at IISC Bangalore, 2020
       M.Tech Theses Defense at IIIT Allahabad, 2019, 2020, 2021, 2022