Co-organizer
Verification Mentoring Workshop (VMW) at CAV 2021
Program Committee
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
Guy Hefetz (ITC Herzila). Master’s Degree. April 2020
Journal Reviewer
2022. 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
