Other activities

Member of the Council of the Association Computability in Europe.

Member of the program committee of (2025):

• WODCA 2025 - Workshop on Optimization, Dynamics and Convex Analysis (Aveiro, Portugal)

Member of the program commitee of (2024):

• CCC 2024 - Continuity, Computability, Constructivity (Nice, France)

Member of the program commitee of (2023):

• 17th International Conference on Reachability Problems (Nice, France)

• CCC 2023 - Continuity, Computability, Constructivity (Kyoto, Japan)

• 20th International Conference on Computability and Complexity in Analysis (Dubrovnik, Croatia)

Co-organizer of Days in Logic 2022.

Co-organizer of the workshop CCC 2020: Continuity, Computability, Constructivity – From Logic to Algorithms. Other international events organized recently: CCC 2018, CCA 2016.

Editor (with Alex Simpson) of a special issue of the journal Logical Methods in Computer Science dedicated to the conferences "Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2019 and CCC 2020)".

Editor of a special issue of the journal Logical Methods in Computer Science dedicated to the conference "Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2018)".

Best paper award (Track B) at the conference ICALP 2016.