Cécilia Pradic

A study on implicit automata and affine logic for string transformation.

Examining the relationships and complexity of Weihrauch degrees through equational theory.

Analyzing the connections between Weihrauch problems and Büchi games in computer science.