Program Committee Member

• HCVS (12th Workshop on Horn Clauses for Verification and Synthesis): [2025]

Peer Reviewer (Sub-reviewer)

• CAV (International Conference on Computer-Aided Verification): [2023]
• CONCUR (International Conference on Concurrency Theory): [2020]
• FMCAD (Formal Methods in Computer-Aided Design): [2022], [2023], [2024]
• FM (International Symposium on Formal Methods): [2024]
• FROCOS (International Symposium on Frontiers of Combining Systems): [2025]
• FSEN (International Conference on Fundamentals of Software Engineering): [2021]
• IJCAR (International Joint Conference on Automated Reasoning): [2020], [2022], [2024]
• NWPT (Nordic Workshop on Programming Theory): [2021]
• TACAS (International Conference on Tools and Algorithms for the Construction and Analysis of Systems): [2020], [2023], [2024]

Artifact Evaluation Committee Member

• CAV (International Conference on Computer-Aided Verification): [2021], [2023]
• TACAS (International Conference on Tools and Algorithms for the Construction and Analysis of Systems): [2023], [2024]
• VMCAI (International Conference on Verification, Model Checking, and Abstract Interpretation): [2024], [2025]