Service

Organization: I am the Co-Organizer of the CREST 2026 Workshop (co-located with FLoC/CAV 2026). I was the Publicity Co-Chair for CAV 2024 and was the Publicity Chair for CAV 2021 (follow @ConfCAV on Twitter/X!). I organized the Buddy Program at CAV 2019.

Speaking: I participated in the Scientific Interaction at the 8th Heidelberg Laureate Forum as a panelist on the topic of “Computer Science Career Paths in Academia” alongside Turing Award winner Barbara Liskov.

Committees: I was a Program Committee member of CREST 2023. I was on the Artifact Evaluation Committees of VMCAI 2022 and CAV 2020.

Journal Reviewing: I reviewed for the Springer Journal Formal Methods in System Design.

Sub-Reviewing: I sub-reviewed for the following scientific venues: DATE 2024, ATVA 2023, CAV 2022, LICS 2022, CONCUR 2021, CAV 2021, TACAS 2021, RV 2020, CONCUR 2020, ATVA 2020, CSL 2020, iFM 2019, ATVA 2019, SI-SR 2017, and SR 2017.

Student Volunteer: I was a student volunteer at FLoC 2018.

CAVlinks: I started and maintain the CAVlinks Website together with a few other volunteers. CAVlinks is a sharing platform for the Computer-Aided Verification community.