Program Committee

• ACCSE 2021: International Conference on Advances in Computation, Communications and Services
• ACCSE 2020: International Conference on Advances in Computation, Communications and Services

RE Program Committee

• HSCC 2021: International Conference on Hybrid Systems: Computation and Control
• HSCC 2020: International Conference on Hybrid Systems: Computation and Control
• CAV 2020: International Conference on Computer-Aided Verification
• HSCC 2019: International Conference on Hybrid Systems: Computation and Control

Reviewer

• NAHS 2021: A Journal of IFAC, the International Federation of Automatic Control
• TOMACS 2020: ACM Transactions on Modeling and Computer Simulation
• SADHANA 2020: A Journal of Indian Academy of Sciences
• ICRA 2020: International Conference on Robotics and Automation
• SOCO 2020: International Conference on Soft Computing
• Automatica 2019: A Journal of IFAC, the International Federation of Automatic Control

Sub-Reviewer

• MEMOCODE 2020: International Conference on Formal Methods and Models for System Design
• ICCPS 2019: International Conference on Cyber-Physical Systems
• QEST 2018: International Conference on Quantitative Evaluation of SysTems
• ICCPS 2017: International Conference on Cyber-Physical Systems
• FSTTCS 2017: International Conference on Foundations of Software Technology and Theoretical Computer Science