Activities

An (incomplete) overview of my academic service.

Program Committee

AISoLa Track C2: Verification meets Learning and Statistics

Talks

2024: Workshop on Epistemic Uncertainty, University of Oxford.

External Reviewer

2023: SETTA, VMLS, NeurIPS
2024: ECAI, ICRA, TACAS, NeurIPS