Mail: doueneau[at][labname].fr
From 2020 to 2023, I did a PhD in computer science (more information here) under the supervision of Olivier Carton and Emmanuel Filiot.
NEWS: I will recieve the 2024 Ackermann award. This award recognises an outstanding PhD in the fields related to Logic in Computer Science.
My publications are available here. Most of my research deals with simple programs named transducers, as a part of automata theory. From a practical point of view, the problems studied in several of my papers can be understood as program optimization techniques for restricted programs which manipulate strings.
J'ai travaillé (notamment avec Aliaume et Laurent) sur les carrières des docteurs (PhD) au sein de l'administration publique. Voir le rapport ou la page d'IDeA.
Vous pouvez aussi télécharger les plans et développements que j'ai préparés pour l'Agrégation de maths (option D info informatique) en 2018. Ou des exercices de colle MP donnés au Lycée St Louis.