Cécilia Pradic

文字列変換のための暗黙的オートマトンとアフィン論理に関する研究。

Weihrauch度の関係と複雑さを方程式理論を通して調べる。

コンピュータサイエンスにおけるヴァイフラウチ問題とビュッヒゲームの関係を分析する。