Events Orgnization
- HYPER 2026 workshop co-organizer and co-chair with Clara Schneidewind, Ana Oliveira da Costa, and Ege Sarac.
- The bi-weekly BIU Formal Verification Seminar co-organizer with Yoni Zohar.
- HYPER 2025 workshop co-organizer and co-chair with Ana Oliveira da Costa and Niklas Metzger.
- Israel Verification Day, IVD 2024 co-organizer with Doron Peled and Yoni Zohar.
- HYPER 2024 workshop co-organizer and co-chair with Niklas Metzger and Hazem Torfah.
Service
- Artifact Evaluation Committee co-Chair of TACAS 2024.
- Publicity co-Chair of CAV 2025, CAV 2024.
- Program Committee Member at CAV 2026, TACAS 2026, FMCAD 2026, GandALF 2026, CAV 2025, TACAS 2025, ECAI 2025, RP 2025, iFM 2024, ICTAC 2024, CAV 2024, STACS 2024, DATE 2024, VMCAI 2024, CAV 2022, ALT 2022.
- Artifact Evaluation Committee Member at ATVA 2024, TACAS 2023.
- Journal Reviewer at TheoretiCS, Science of Computer Programming, Formal Methods in System Design (FMSD), Journal of Machine Learning Research (JMLR), Acta Informatica.
- Conference Reviewer at LICS 2025, CONCUR 2025, POPL 2025, FSTTCS 2024, ATVA 2023, CONCUR 2023, TACAS 2023, TACAS 2022, CSL 2022, TACAS 2021, ICALP 2021, CAV 2020, TACAS 2020, TACAS 2019, TACAS 2018, TACAS 2017, VMCAI 2017.