service
organizing committee
- Co-Organizer, QuantFormal: Formal Verification and Learning for Quantitative Systems @ FSTTCS 2025
- Co-Chair, AAAI Spring Symposium Series 2023: On the Effectiveness of Temporal Logics on Finite Traces
- Co-Organizer, Verification Mentoring Workshop @ CAV 2021
program committee
| Year | Venues |
|---|---|
| 2026 | AAAI, CAV, NASA FM, TACAS |
| 2025 | AISTATS, ATVA, ECAI, ICML, GenPlan |
| 2024 | AAAI, CAV, NeurIPS, POPL, TACAS, Women in Logic (WiL) |
| 2023 | AAAI, CAV, CONCUR, ESOP, Highlights of Automata Logic and Games, NASA FM, NeurIPS |
| 2022 | GandALF, SYNT |
| 2021 | IJCAI, LAMAS&SR, SPLASH SRC, SYNT |