Home
Academic Details
Employment
Research
Publications
Research Group
Career Timeline
Awards
Services
Teaching
Code
Résumé
Contact
Personal
Services
IEEE Symposium on Computational Intelligence.
2024.
Reviewer.
Design and Automation Conference (DAC).
2024.
Sub-Reviewer.
ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
2024, 2023.
Sub-reviewer.
National Science Foundation (NSF)
Panel. 2023.
IEEE Transactions on Automation Science and Engineering (TASE).
2023.
Reviewer.
IEEE International Conference on Automation Science and Engineering (CASE).
2024, 2023, 2022.
Sub-reviewer.
International Conference on Robotics and Automation (ICRA)
. 2024, 2023.
Sub-reviewer.
ACM Journal on Autonomous Transportation Systems
. 2022.
Reviewer.
Journal Computing
. 2022, 2021.
Reviewer.
ACM Transactions on Cyber-Physical Systems (ACM TCPS)
. 2022, 2021.
Reviewer.
Fundamental Approaches to Software Engineering (FASE)
. 2022.
Sub-reviewer.
International Conference on Embedded Software (EMSOFT)
. 2023, 2022, 2021.
Ad hoc Reviewer.
Mathematical Foundations of Computer Science (MFCS)
. 2020.
Sub-reviewer.
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
. 2018.
Ad hoc Reviewer.