Thèmes de recherche
Membre de l'équipe GAMoC du LIFO, mes thèmes de recherche s'articulent autour des modèles discrets pour les systèmes complexes :
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 :
DBLP,
HAL,
Google scholar,
ResearchGate,
Scopus.
Exposés récents
- Le calcul numérique, École Jeunes Chercheuses et Chercheurs en Informatique Mathématique, Nice, june 2022.
- A Small Minimal Aperiodic Reversible Turing machine, DEUMD, Chillán, october 2018.
- On Aperiodic Reversible Turing Machines, Reversible Computation, Leicester, september 2018.
- Automates et dédales, MATh.en.JEANS, Bourges, february 2018.
- Substitutions and Strongly Deterministic Tilesets, Workshop on Aperiodicity and Hierarchical structures in tilings, Lyon, september 2017.
- The Periodicity Problem of Cellular Automata, clôture du projet MealyM, Paris, july 2017.
(Une liste plus complète d'exposés est disponible)
Écrits récents
- N. Ollinger. Le calcul numérique in Informatique Mathématique, une photographie en 2022 (CNRS Éditions, ISBN: 978-2-271-14458-4, 2022), (pp. 157-190).
- N. Ollinger et G. Theyssier, Freezing, Bounded-Change and Convergent Cellular Automata, Discrete Mathematics & Theoretical Computer Science, 24, no. 1 (2022) 1–37.
- E. Goles, D. Maldonado, P. Montealegre, et N. Ollinger, On the complexity of the stability problem of binary freezing totalistic cellular automata., Information and Computation, 274 (2020) 104535. (Elsevier)
(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
- Samuel Nalin, co-encadré avec Martin Delacourt, Substitutions et k-reconnaissance dans les Automates Cellulaires Unilatères : vers une indécidabilité du problème de finitude des groupes d’automates. Depuis octobre 2021.
- Diego Maldonado, co-encadré avec Eric Goles, Universalité et complexité des automates cellulaires coagulants. Soutenue le 26 novembre 2018 à l'Université d'Orléans.
- Rodrigo Torres-Avilés, co-encadré avec Anahí Gajardo, Algunas Propiedades Dinámicas de Modelos de Máquinas Turing. Soutenue le 8 janvier 2016 à l'Universidad de Concepción, Chili.
- Bastien Le Gloannec, Coloriage du plan discret par automates cellulaires. Soutenue le 12 décembre 2014 à l'Université d'Orléans.
- Gaétan Richard, Systèmes de particules et collisions discrètes dans les automates cellulaires. Soutenue le 4 décembre 2008 à Aix-Marseille Univ.
- Vincent Bernardi, co-encadré avec Bruno Durand, Lois de conservation sur automates cellulaires.
Soutenue le 10 décembre 2007 à Aix-Marseille Univ.
Stages de DEA ou Master 2 recherche
- 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
- 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.