My PhD defense took place on the 23rd of November 2023 in Paris. The manuscript is available here and the defense slides here.
I will recieve the 2024 Ackermann award for my PhD thesis (together with my co-laureate Aliaume Lopez). This award recognises an outstanding PhD dissertation in the fields related to Logic in Computer Science.
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.