Co-organizer
On the Effectiveness of Temporal Logics on Finite Traces in AI at AAAI Spring Symposium 2023
Verification Mentoring Workshop (VMW) at CAV 2021
NSF Panel 2023
Program Committee
2024. AAAI 2024, CAV 2024, NeurIPS 2024, POPL 2024, TACAS 2024
2023. AAAI 2023, CAV 2023, CONCUR 2023, ESOP 2023 , Highlights of Automata, Logic, and Games 2023, Nasa FM 2023, NeurIPS 2023
2022. GandALF 2022, SYNT 2022
2021. ACM SPLASH SRC 2021, CAV AEC 2021, IJCAI 2021, LAMAS&SR 2021, SAS AEC 2021, SYNT 2021
Thesis Committee
Ritam Raha (University of Antwerp, University of Bordeaux). PhD. September 2023
Guy Hefetz (ITC Herzila). Masters. April 2020
Journal Reviewer
2022. Foundations and Trends in TCS, Henzinger-60
2021. ACM ToCL, FMSD, JACM, LMCS
2020. Acta Informatica
Conference Reviewer
2022. FoSSaCS 2022
2021. FMCAD 2021, FOCS 2021
2020. CONCUR 2020, ICALP 2020, IJCAI 2020
2019. ISAAC 2019
2018. FSTTCS 2018, LPAR 2018
2017. CP 2017, TACAS 2017
2016. IJCAI 2016
