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