Recherche

Modifié

25 février 2026

Thèmes de recherche

Membre de l’équipe GAMoC du LIFO, mes thèmes de recherche se situent en informatique fondamentale : algorithmique et classification des automates cellulaires et des pavages, dynamique des machines de Turing, problèmes de décision associés et un peu de combinatoire sur les mots.

Quelques liens : HAL dblp Google Scholar Orcid ResearchGate github

Exposés récents

Une liste plus complète d’exposés est disponible.

Écrits récents

  1. Olivier Carton, Jean-Michel Couvreur, Martin Delacourt, and Nicolas Ollinger. Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems. In Guilhem Gamard and Julien Leroy, editors, Combinatorics on Words - 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings, volume 15729 of Lecture Notes in Computer Science, pages 70–82. Springer, 2025

  2. Jean-Michel Couvreur, Martin Delacourt, Nicolas Ollinger, Pierre Popoli, Jeffrey Shallit, and Manon Stipulanti. Effective Computation of Generalized Abelian Complexity for Pisot Type Substitutive Sequences, 2025

  3. Nicolas Ollinger and Jeffrey Shallit. The Repetition Threshold for Rote Sequences, 2024

  4. Rodrigo Torres-Avilés, Anahí Gajardo, and Nicolas Ollinger. On relations between properties in transitive Turing machines. Nonlinearity, 36(12):6297, oct 2023

  5. Nicolas Ollinger and Guillaume Theyssier. Freezing, Bounded-Change and Convergent Cellular Automata. Discrete Mathematics & Theoretical Computer Science, 24(1):1–37, 2022

Une liste plus complète de publications est disponible.

Encadrement

J’ai participé à l’encadrement autour de mes thèmes de recherche des étudiants suivants.

Thèses de doctorat

Stages de DEA ou Master 2 recherche

  • Julien Glorian, printemps 2026, stage de M2 ARIAS, Université d’Orléans.
    co-encadré avec Martin Delacourt. Autour de la décidabilité de la réversibilité des automates cellulaires orphéennement bidimensionnels.
  • Bastien Le Gloannec, automne 2010, stage de M2 recherche d’informatique de l’ÉNS Lyon.
    Sur la reconnaissance de familles de pavages du plan par polygones.
  • Gaétan Richard, été 2005, stage de M2 recherche d’informatique de l’ÉNS Lyon.
    Auto-organisation et complexité : une approche par les automates cellulaires.
  • Florian Richoux, été 2005, stage de M2 recherche d’informatique de Marseille.
    Automates cellulaires : particules, collisions et cartes planaires.
  • Pierre Guillon, été 2004, stage de DEA d’informatique de l’ÉNS Lyon,
    co-encadré à 50% avec Bruno Durand. Calcul fiable en présence d’erreurs.

Autres stages

  • Marine Delvallez, été 2025, stage immersion M1 GPEX/Minerve Université d’Orléans.
    Synchronisation de la fonction de complexité en facteurs dans les systèmes de numération.
  • Antoine Zeitoun, été 2025, stage L3 ÉNS Saclay.
    Automates de suites.
  • Kaneda Blot, co-encadré à 50% avec Martin Delacourt, été 2024, stage L3 ÉNS Saclay.
    Decidability of properties of reversible one-way cellular automata in dimension 2.
  • Clothilde Bizière, co-encadré à 50% avec Martin Delacourt, été 2021, stage L3 ÉNS Paris.
    Substitutions et p-reconnaissabilité dans les automates cellulaires unilatères.
  • Francis Durand, co-encadré à 50% avec Martin Delacourt, été 2021, stage L3 ÉNS Saclay.
    Automates cellulaires, ensembles mu-limites et génériques.
  • Werner Mérian, co-encadré à 50% avec Martin Delacourt, été 2021, stage L3 ÉNS Lyon.
    Automates cellulaires unilatères et indécidabilité.
  • Alexandre Biscarat, co-encadré à 50% avec Martin Delacourt, été 2020, stage L3 ÉNS Lyon.
    Finitude des groupes de Mealy et périodicité des automates cellulaires unilatères permutifs.
  • Thomas Saigre, été 2019, stage Magistère.
    Méthodes de construction de jeux de tuiles apériodiques sur grilles hexagonales.
  • Cyprien Ruffino, printemps 2015, stage L3 Université d’Orléans.
    Autour de la SMART machine.
  • Diego Nava Saucedo, été 2013, stage L3 ÉNS Lyon.
    Périodicité des automates cellulaires unidirectionnels.
  • Timo Jolivet, co-encadré à 50% avec Grégory Lafitte, été 2008, stage L3 ÉNS Lyon.
    Eternity II : puzzles, algorithmique et complexité.
  • Alexandre Buisse, été 2005, stage L3 ÉNS Lyon.
    Puissance de calcul de l’automate cellulaire 54.
  • Gaétan Richard, été 2003, stage L3 ÉNS Lyon.
    Autour de l’universalité de la règle 110.

Mis à jour le 25 février 2026