International Conference on Robotics and Automation (ICRA), Associate Editor, 2022, 2023, &
2024.
International Federation of Automatic Control (IFAC) Workshop on Cyber-Physical & Human-
Systems (CPHS), 2024.
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2024.
ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Publication Co-Chair,
2023.
International Federation of Automatic Control (IFAC) Workshop on Cyber-Physical & Human-
Systems (CPHS), Associate Editor, 2022.
Autonomous Systems (ASYS) Symposium at the IEEE Computer Society Signature Conference
on Computers, Software and Applications (COMPSAC), 2022, 2023, & 2024.
International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP), 2018 & 2019.
International Conference on Mobile, Hybrid, and On-line Learning (eLmL), 2019.
Journal Reviewer
Special Issue for Autonomous Robots, International Journal of Robotics Research (IJRR), 2022.
Automatica, 2020 & 2021.
IEEE Transactions on Automatic Control (TAC), 2018 & 2019.
Formal Aspects of Computing (FAoC), 2019 & 2020.
Science Robotics, 2019.
Conference Reviewer
IEEE International Conference on Robotics and Automation (ICRA), 2016, 2019, 2021, & 2023.
International Conference on Artificial Intelligence and Statistics (AISTATS), 2021 & 2023.
IEEE Conference on Decision and Control (CDC), 2018, 2020, 2021, & 2022.
Robotics: Science and Systems (RSS), 2021.
American Control Conference (ACC), 2021.
International Conference on Machine Learning (ICML), 2020 & 2021.
International Conference on Learning Representations (ICLR), 2021.
International Conference on Automation Science and Engineering (CASE), 2021.
Conference on Neural Information Processing Systems (NeurIPS), 2020.
Symposium on Formal Methods (FM), 2018.
International Conference on Computer-Aided Verification (CAV), 2019.
Memberships
Association for Computing Machinery (ACM), 2023-present.
Institute of Electrical and Electronics Engineers (IEEE), 2016-present.