Service

Steering Committee Memberships

• 2027–ongoing — ETAPS, Artifact Evaluation Coordinator
• 2024–2027 — SC2

Chairing

• 2025 — FMCAD, Program Chair
• 2025 — TACAS, Artifact Evaluation Chair
• 2025 — iFM, Artifact Evaluation Chair
• 2024 — SC2, Program Chair
• 2024 — SAT, Workshop Chair
• 2024 — iFM, Artifact Evaluation Chair

Organization

• 2026 — BIRS Seminar: Theory and Practice of SAT and Combinatorial Solving (26w5626), Co-Organizer, Banff International Research Station, Banff, Alberta, Canada
• 2025 — Dagstuhl Seminar: Certifying Algorithms for Automated Reasoning (25231), Co-Organizer, Schloss Dagstuhl, Wadern, Germany

Editorial Tasks

• Ongoing — FMSD: Special Issue on Selected Papers of FMCAD 2025, Springer
• Ongoing — Sci. Comput. Program.: Original Software Publications - Selected Software Artifacts from the Papers of iFM 2025, Elsevier

Program Committee Memberships

• 2026 — FMCAD, IJCAR, IWIL, LPAR, PAAR, TACAS, VSTTE, WHOOPS
• 2025 — ECAI (Senior PC), SAT
• 2024 — ATVA, CP, FMCAD, IJCAR, MBMV, PAAR, SAT, SEFM, SMT, VMCAI
• 2023 — CICM, FMCAD, FMCAD Student Forum, IWIL, MBMV, SAT, SBMF, SEFM, SMT
• 2022 — SC2, FMCAD Student Forum

Artifact Evaluation Committee Memberships

• 2023 — CAV
• 2022 — CAV, TACAS
• 2021 — TACAS

Journal Reviewer

Reviewed manuscripts for TCAD, FMSD, JSSM, TOC, ETS.

Jury Member

• 2025 — VCLA International Student Awards
• 2024 — VCLA International Student Awards

Member of Professional Organizations

• Association for Automated Reasoning
• SAT Association
• ETAPS Association
• FMCAD Association
• Austrian Computer Society (ÖCG)