Cécilia Pradic

Eine Studie über implizite Automaten und affiner Logik zur String-Transformation.

Untersuchung der Beziehungen und Komplexität von Weihrauch-Graden durch äquationale Theorie.

Die Analyse der Verbindungen zwischen Weihrauchproblemen und Büchi-Spielen in der Informatik.