activities

My professional activities.

Program Committees

2023: QEST 2024 (co-chair), ICLR 2024

2022: IJCAI 2022, AAMAS 2022, AAAI 2022, ICLR 2022, NeurIPS 2022,

2021: NeurIPS 2021, FM 2021, QEST 2021, ICML 2021, AAMAS 2021, SPIN 2021, AAAI 2021, ADHS 2021, ICLR 2021, FASE 2021

2020: FORMATS 2020 (co-chair), NeurIPS 2020, IJCAI-PRICAI 2020, ICML 2020, SETTA 2020</li>

2019: NeurIPS 2019, QEST 2019, ICANN 2019, SETTA 2019</li>

2018: FORTE 2018, TACAS Artifact Evaluation 2018, PhD-iFM 2018, ICT.OPEN 2018, ICE 2018, SKILL 2018</li>


PhD Committee Member and Referee


Event Organization / Chair


External Reviewer (incomplete list)

ACC, ACM Transactions on Modeling and Computer Simulation, ATVA, CAV, CDC, CONCUR, FACS, FM, FMOODS–FORTE, FORMATS, FOSSACS, FSEN, FSTTCS, FTSCS, HSCC, IFM, IJCAI, Petri Nets, QEST, SIMULTECH, Journal of Automated Reasoning, Journal of Systems and Software, International Journal of Robotics Research, TACAS, TASE, Theoretical Computer Science, IEEE Transactions of Reliability, IEEE Transactions on Automatic Control, and VMCAI