Activities

An (incomplete) overview of my academic service.

Program Committee

  • IJCAI 2026
  • CAV 2026 Artifact Evaluation (CAV-AE’26)
  • AISoLa 2024 Track C2: Verification meets Learning and Statistics

External Reviewer

  • 2023: SETTA, VMLS, NeurIPS
  • 2024: ECAI, ICRA, TACAS, NeurIPS
  • 2025: EWRL, TACAS

Talks

  • 2023:
    • BNAIC 2023 & ELLIS BeNeLux PhD Meetup at TU Delft (NL).
  • 2024:
    • Workshop on Epistemic Uncertainty at the University of Oxford (UK).
    • AI-FM Seminar in Dagstuhl (GE)
  • 2025:
    • School of Informatics at the University of Edinburgh (UK), visiting Antonio Vergari.
    • IJCAI 2025 in Montréal (CA).
    • ECAI 2025 in Bologna (IT).
    • SDM Group at TU Delft (NL), visiting Matthijs Spaan.