PhD defense
My PhD defense took place on the 23rd of November 2023 in Paris.
The manuscript is available here
and the defense slides here.
Abstract
This thesis is entitled Optimization of string transducers. As in name suggests,
it deals with class membership problems for functions computed by
finite-state transducers.
From a practical point of view, the problems studied in this thesis can be understood
as program optimization
for restricted programs which manipulate strings.
Jury composition
- Olivier Carton, Professor, Université Paris Cité, advisor
- Emmanuel Filiot, FNRS Senior Research Associate, Université Libre de Bruxelles, co-advisor
- Mikołaj Bojańczyk, Professor, Warsaw University, referee
- Anca Muscholl, Professor, Université de Bordeaux, referee
- Nathalie Bertrand, INRIA Senior Researcher, examiner
- Pierre-Alain Reynier, Professor, Aix-Marseille Université, examiner
- Paul Gastin, Professor (em.), ENS Paris-Saclay, invited member