Cécilia Pradic

Um estudo sobre autômatos implícitos e lógica afim para transformação de strings.

Examinando os relacionamentos e a complexidade dos graus de Weihrauch através da teoria equacional.

Analisando as conexões entre os problemas de Weihrauch e os jogos de Büchi na ciência da computação.