Services

Chair

• [Repeatability Evaluation Chair]
  ACM International Conference on Hybrid Systems: Computation and Control, and ACM/IEEE International Conference on Cyber-Physical Systems (HSCC/ICCPS).
  Joint Chair. 2026.

Program Committee

• ACM International Conference on Hybrid Systems: Computation and Control, and ACM/IEEE International Conference on Cyber-Physical Systems (HSCC/ICCPS). 2026.

• IEEE Symposium on Computational Intelligence. 2025.

Panels

• National Science Foundation (NSF) Panel. 2026(×2), 2025, 2023.

Reviewer

• Conference on Robot Learning (CoRL). 2026, 2025.


• IEEE Symposium on Computational Intelligence. 2024.


• IEEE Transactions on Automation Science and Engineering (TASE). 2023.


• ACM Journal on Autonomous Transportation Systems. 2022.


• Journal Computing. 2022, 2021.


• ACM Transactions on Cyber-Physical Systems (ACM TCPS). 2022, 2021.

External Reviewer

• International Conference on Robotics and Automation (ICRA). 2026, 2024, 2023.


• Design and Automation Conference (DAC). 2024.


• ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2024, 2023.


• IEEE International Conference on Automation Science and Engineering (CASE). 2024, 2023, 2022.


• Fundamental Approaches to Software Engineering (FASE). 2022.


• International Conference on Embedded Software (EMSOFT). 2023, 2022, 2021.


• Mathematical Foundations of Computer Science (MFCS). 2020.


• International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 2018.

Departmental Services

CS Dept., UA

• Member, Graduate Committee. 2025-Present.


• Member, Online PhD Committee. 2025-Present.


• Member, Social Media Committee. 2024.