Page personnelle de Florent Koechlin 🇫🇷 🇬🇧
Florent Koechlin
Chargé de recherche au CNRS
Laboratoire d'Informatique de Paris Nord
Bureau A105
Institut Galilée – Université Paris 13
99, avenue Jean-Baptiste Clément
93430 Villetaneuse
florent.koechlin(at)lipn.fr
Rentrée du LIPN
Slides
Parcours
- 01/10/2023-actuel: chargé de recherche au CNRS
- 01/02/2022-30/09/2023 : postdoc au LORIA
- 01/09/21-31/01/22 : ATER en Informatique à l'Université de Paris
- 2018-2021 : thèse de doctorat en Informatique
- 2017 : admis à l'agrégation de Mathématiques
- 2014-2018 : Élève normalien à l'École Normale Supérieure de Cachan
Formation suivie : Double Licence Info-Maths, M2 Formation à l'Enseignement Supérieur, M1 et M2 du Master Parisien de Recherche en Informatique
Travaux de postdoc
J'ai été du 1er février 2022 au 30 septembre 2023 postdoc au LORIA, à Nancy, sous la direction de Mathilde Bouvel, Valentin Féray et Xavier Goaoc. J'ai travaillé sur la combinatoire des types d'ordre en géométrie discrète.
Travaux de thèse
J'ai effectué une thèse au LIGM, à l'université Gustave Eiffel (ancienne Université Paris-Est Marne-la-Vallée), sous la direction d'Arnaud Carayol et Cyril Nicaud.
Ma thèse s'intitule Systèmes de fonctions holonomes : application à la théorie des automates.
J'ai soutenu ma thèse le jeudi 9 décembre 2021 à 14h.
Manuscrit de thèse (dernière révision le 9 mars 2022)
Ma thèse a reçu le Prix de Thèses d’Université Paris-Est 2022, et un accessit au prix de thèse Gilles Kahn 2022.
Publications
Conférences
Versions longues
Soumissions en cours
- Florent Koechlin et Pablo Rotondo. Analysis of an efficient reduction algorithm for random regular
expressions based on universality detection.
Soumis Ă Theory of Computing Systems (TCS), en tant que special issue de CSR'21.
Enseignements
2022 Vacations aux Mines de Nancy
- 1A Algorithmes et complexité (16h de TD)
2021-2022 ATER à l'Université de Paris
- L1 Indroduction aux systèmes d'exploitation (55.68h de cours/TP)
- L2 Pré-Pro 2 : conduite de projet (12h de TP)
- Participation à la fête de la science (une journée en école primaire)
2018-2021 Monitorat à l'Université Gustave Eiffel
2020-2021
- L3 Bases de données (14h de TP)
- L1 Programmation Web (24h de TP)
2019-2020
- DUT 1 Introduction Ă l'algorithmique et Ă la programmation (Python) (30h de TP)
- ESIPE 1 Bases de données (16h de TP/TD)
- L2 Algorithmique des Arbres en C (24h de TP)
2018-2019
- L2 Bases de données (48h de TP)
- L2 Algorithmique des Arbres en C (24h de TP)