Page personnelle de Florent Koechlin 🇫🇷 🇬🇧

Florent Koechlin
Chargé de recherche au CNRS
Bureau Y309
Bâtiment Hypatia
Laboratoire d'Informatique de Paris Nord
99, avenue Jean-Baptiste Clément
93430 Villetaneuse
florent.koechlin(at)lipn.fr

Présentation

Thèmes de recherche

Je suis chargé de recherche dans l'équipe CALIN depuis le 1er octobre 2023. Je m'intéresse à la combinatoire analytique, la théorie des automates, la géométrie combinatoire et l'analyse d'algorithmes.

Participation à des séminaires, groupes de travail et projets

• Je fais partie de l'ANR Diplo et de l'ANR COMETA-GAE.
• J'organise également au LIPN un groupe de lecture autour des fonctions D-finite. L'idée de ce groupe est de se former aux outils récents sur les fonctions D-finite développés en calcul formel, notamment autour du télescopage créatif, pour résoudre des problèmes de combinatoire.

Organisation d'événements scientifiques, séminaires, et responsabilités éditoriales

• Je suis co-responsable avec Meltem Ünel du séminaire CALIN.
• Je suis managing editor du journal European Journal of Combinatorics.
• J'ai co-organisé les journées ALEA 2026.

Publications

Conférences

• Florent Koechlin, Carine Pivoteau, Pablo Rotondo. Heuristic universality detection over regular expressions specified by systems. DLT'25 -- slides
• Mathilde Bouvel, Valentin Feray, Xavier Goaoc, and Florent Koechlin. A Canonical Tree Decomposition for Chirotopes. SoCG'24 -- slides
• Arnaud Carayol, Philippe Duchon, Florent Koechlin and Cyril Nicaud. One Drop of Non-Determinism in a Random Deterministic Automaton. STACS'23 -- slides
• 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.)

Journaux

• Mathilde Bouvel, Valentin Féray, Xavier Goaoc, Florent Koechlin. A canonical tree decomposition for order types, and some applications. SIAM Journal on Discrete Mathematics, 2025, 39 (4), pp.2189-2241.
• Arnaud Carayol, Philippe Duchon, Florent Koechlin, Cyril Nicaud. Random Deterministic Automata With One Added Transition. Log. Methods Comput. Sci. 21(1) (2025)
• 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 fin 2021 à Theory of Computing Systems (TCS), en tant que special issue de CSR'21.
  Nous avons retiré notre soumission en juillet 2026 suite au temps déraisonnablement long (4 ans et demi) sans avancée notable dans le processus de refereeing. Une nouvelle version fusionnée avec les travaux ultérieurs en commun avec Pablo Rotondo et Carine Pivoteau est en cours de rédaction.

Analyse d'algorithmes (MPRI)

Voir la page consacrée au cours. Le mot de passe est indiqué sur la page

Parcours avant le recrutement

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 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.