Activities

An (incomplete) overview of my academic service.

Program Committee / Reviewer

  • NeurIPS 2026
  • IJCAI 2026
  • CAV 2026 Artifact Evaluation (CAV-AE’26)
  • EWRL 2025, 2026
  • TMLR (since 2026)
  • AISoLa 2024 Track C2: Verification meets Learning and Statistics

External Reviewer

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

Talks / Posters

  • 2023:
    • BNAIC 2023 & ELLIS BeNeLux PhD Meetup at TU Delft (NL).
  • 2024:
    • AAAI 2024 in Vancouver (CA).
    • EWRL 2024 in Toulouse (FR).
    • Workshop on Epistemic Uncertainty at the University of Oxford (UK).
    • AI-FM Seminar in Dagstuhl (GE)
  • 2025:
    • ROCKS 2025 in Eindhoven (NL).
    • School of Informatics at the University of Edinburgh (UK) - visiting Antonio Vergari.
    • IJCAI 2025 in Montréal (CA).
    • EWRL 2025 in Tübingen (GE).
    • ECAI 2025 in Bologna (IT).
    • SDM Group at TU Delft (NL) - visiting Matthijs Spaan.
    • EurIPS 2025 in Copenhagen (DK) - NeurIPS, EurIPS workshop and ELLIS unconference

Teaching involvement

  • Object Oriented Programming (2023 - 2027)
  • Operating Systems (2023 - 2027)

Supervision

  • Elyesa Gök (BSc thesis, at Ruhr-University Bochum, co-supervisor)
  • Sjoerd Geraeds (Capita Selecta project)
  • Thomas Rhemrev (Research Internship + MSc thesis)
  • Andrew Schroeder (ELLIS Excellence Fellowship + MSc thesis)
  • Sjoerd Jansen (ELLIS Excellence Fellowship + MSc thesis)