Cécilia Pradic

Une étude sur les automates implicites et la logique affine pour la transformation de chaînes.

Examiner les relations et la complexité des degrés de Weihrauch à travers la théorie équationnelle.

Analyser les liens entre les problèmes de Weihrauch et les jeux de Büchi en informatique.