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

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

• Arnaud Carayol, Philippe Duchon, Florent Koechlin and Cyril Nicaud. One Drop of Non-Determinism in a Random Deterministic Automaton. STACS'23
• Florent Koechlin. New analytic techniques for proving the inherent ambiguity of context-free languages. FSTTCS'22
• Florent Koechlin and Pablo Rotondo. Analysis of an efficient reduction algorithm for random regular expressions based on universality detection. CSR'21
• Florent Koechlin and Pablo Rotondo. Absorbing patterns in BST-like expression-trees. STACS'21
• Alin Bostan, Arnaud Carayol, Florent Koechlin and Cyril Nicaud. Weakly-unambiguous Parikh automata and their link to holonomic series. ICALP'20, pages 114:1-114:16.
• Florent Koechlin, Cyril Nicaud and Pablo Rotondo. On the Degeneracy of Random Expressions Specified by Systems of Combinatorial Equations. DLT'20
• Florent Koechlin, Cyril Nicaud and Pablo Rotondo. Uniform Random Expressions Lack Expressivity. MFCS'19 (14 p.)

Versions longues

• Florent Koechlin, Cyril Nicaud and Pablo Rotondo. Simplifications of Uniform Expressions Specified by Systems. IJFCS'21, Volume No. 32, Issue No. 06, pp. 733 - 760.

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)