Service

Technical program committees, conference and workshop organization, and competition chairing. Editorial roles, dissertation committees, university service and reviewing are listed in the curriculum vitae.

Technical Program Committees

  • 15th International Conference on Formal Methods in Software Engineering (FormaliSE): 2027
  • International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 2027, 2025 — External Reviewer
  • 28th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI): 2027
  • AAAI Conference on Artificial Intelligence: 2026, 2024, 2023, 2022, 2021 — Senior Program Committee
  • ACL Rolling Review (ARR), shared reviewing platform for ACL and EMNLP: 2026 — Program Committee (Reviewer)
  • ACM International Conference on Embedded Software (EMSOFT): 2026, 2025, 2024, 2023, 2018, 2017, 2016
  • 2026 IEEE RAS International Conference on Engineering Reliable Autonomous Systems (ERAS): 2026
  • 29th ACM International Conference on Hybrid Systems: Computation and Control / 17th ACM/IEEE International Conference on Cyber-Physical Systems (HSCC/ICCPS): 2026 — Unified Program Committee
  • 19th International Symposium on Artificial Intelligence and Mathematics (ISAIM): 2026
  • Annual Conference on Neural Information Processing Systems (NeurIPS): 2026, 2025
  • 3rd International Conference on Neuro-Symbolic Systems (NeuS): 2026
  • Joint Conference of the International Conference on Quantitative Evaluation of SysTems (QEST) and International Conference on Formal Modeling and Analysis of Timed Systems (QEST-FORMATS): 2026, 2025, 2024
  • IEEE Real-Time Systems Symposium (RTSS): 2026, 2016, 2015
  • 27th International Workshop on Formal Techniques for Judicious Programming (FTfJP): 2025
  • Hot Topics in the Science of Security (HotSoS): 2025
  • ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS): 2025, 2024, 2023, 2022, 2020, 2019, 2018
  • IEEE International Conference on Computer Vision (ICCV): 2025, 2021
  • 34th International Joint Conference on Artificial Intelligence (IJCAI): 2025
  • 2nd International Symposium on AI Verification (SAIV): 2025
  • IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) and Space Computing Conference (SCC) (SMC-IT/SCC): 2025, 2024, 2023
  • IFAC Conference Analysis and Design of Hybrid Systems (ADHS): 2024, 2021
  • Formal Methods for Autonomous Systems Workshop (FMAS): 2024, 2023, 2022, 2021, 2020, 2019
  • ACM International Conference on Hybrid Systems: Computation and Control (HSCC): 2024, 2023, 2022, 2020, 2019, 2018, 2017, 2016
  • Workshop on Machine Learning (ML) for Systems (MLforSystems): 2024
  • NASA Formal Methods Symposium (NFM): 2024, 2020
  • International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS): 2023, 2022
  • 29th International Symposium on Model Checking of Software (SPIN): 2023
  • 2nd Workshop on Formal Verification of Machine Learning (WFVML): 2023
  • 34th International Conference on Computer Aided Verification (CAV): 2022
  • IEEE Conference on Computer Vision and Pattern Recognition (CVPR): 2022, 2021
  • 15th International Workshop on Numerical Software Verification (NSV): 2022
  • International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR): 2021, 2020, 2019, 2016
  • International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH): 2019, 2018, 2017, 2016, 2015
  • Workshop on Cyber-Physical Systems Security and Resilience (CPS-SR): 2019, 2018
  • 1st International Workshop on Formal Techniques for Dependable Autonomous Systems (F4TDAS): 2019
  • 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS): 2019
  • Anita Borg Institute Grace Hopper Celebration (GHC): 2019
  • 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS-WiP): 2019
  • 22nd IEEE International Symposium on Real-Time Distributed Computing (ISORC): 2019
  • 9th International Workshop on Frontiers in Analog CAD (FAC): 2018
  • IEEE Real-Time Systems Symposium (RTSS-AE): 2018, 2017 — Artifact Evaluation Committee
  • 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS): 2018
  • 2nd International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS): 2017
  • 45th International Conference on Parallel Processing (ICPP): 2016
  • 16th IEEE Workshop on Control and Modeling for Power Electronics (Compel): 2015
  • Distributed Control Paradigms to Enable Resilient Microgrids (RSWeek): 2015
  • 14th International Conference on Runtime Verification (RV): 2014

Conference and Workshop Organization

  • 30th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2027) and 18th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2027), CPS-IoT Week (HSCC/ICCPS): 2027 — Program Committee Co-Chair
  • 33rd IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS): 2027 — Publicity Co-Chair
  • AAAI-26 Lab Forum LH03: The Verification of Neural Networks Competition (AAAI'26 Lab): 2026 — Lab Organizer
  • 7th International Verification of Neural Networks Competition (VNN-COMP): 2026 — Co-Organizer
  • Interdisciplinary Workshop on Machine Learning and AI: 2025 — Co-Organizer (with Xiaowei Huang)
  • International Workshop on Verification of Neural Networks and International Verification of Neural Networks Competition (VNN): 2025, 2024, 2023, 2022, 2021, 2020 — Co-Chair; Co-Chair (with Haoze (Andrew) Wu)
  • International Conference on Bridging the Gap Between AI and Reality (AISoLA): 2024, 2023 — Co-Chair
  • International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) and Hybrid Systems Verification Competition (ARCH-COMP) Repeatability Evaluation Chair and Experimental Evaluation Chair: 2024, 2023, 2022, 2021, 2020, 2019, 2018, 2017, 2016, 2015 — Chair; Co-Chair
  • 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS): 2023 — Co-Chair
  • ACM International Conference on Hybrid Systems: Computation and Control (HSCC): 2020, 2019 — Chair
  • Anita Borg Institute Grace Hopper Celebration (GHC): 2019 — Chair
  • 39th IEEE Real-Time Systems Symposium (RTSS): 2018 — Organizing Committee
  • 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): 2018 — Co-Chair
  • 19th International Conference on Hybrid Systems: Computation and Control (HSCC-RE): 2017 — Repeatability Evaluation Chair
  • 7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS-WiP): 2016 — Chair
  • 4th Annual Symposium on Emerging Topics in Control and Modeling: Networked Systems (CSL): 2012
  • Cyber Physical Systems Week (CPSWeek): 2011