University and Other Duties
2024
- Co-organization of the SAT/SMT/AR Summer School (in Nancy) with Sophie Tourret and Martin Bromberger
- Vice-head of the W2 group proof cost-action (started 2023).
2023
- Vice-head of the W2 group proof cost-action.
- Committee for the Embedded System Professorship from the University Freiburg
- IAAA accreditation committee for the Frankreich-Zentrum from the University Freiburg