Thèmes de recherche
Membre de l'équipe GAMoC du LIFO, mes thèmes de recherche s'articulent autour des systèmes complexes : algorithmique et classification des automates cellulaires et des pavages, problèmes de décision associés et un peu de combinatoire sur les mots.
Quelques liens : DBLP, HAL, Google scholar.
Exposés récents
- Two-by-two Substitution Systems and Tilings, DISCO, Valparaiso, Chile, november 2011.
- Après la Thèse : vers l’infini et au-delà !, JDD LIFO, Orléans, november 2011.
- Substitutions et pavages I : indécidabilité et pavabilité, GdT GAMoC, Orléans, november 2011.
- Automates cellulaires, indécidabilité et pavages, Conférences de rentrée, ÉNS de Cachan, september 2011.
- Combinatorial substitutions, Journées SDA2/Frac, Caen, june 2011.
(Une liste plus complète d'exposés est disponible)
Écrits récents
- R. Torres, N. Ollinger et A. Gajardo, Undecidability of the surjectivity of the subshift associated to a Turing machine, Reversible Computation (RC'2012), to appear in 2012.
- B. Le Gloannec et N. Ollinger, Substitutions and Strongly Deterministic Tilesets, Computability in Europe (CIE'2012), to appear in 2012.
- Th. Fernique et N. Ollinger, Combinatorial Substitutions and Sofic Tilings, Symposium on Cellular Automata Journées Automates Cellulaires (JAC'2010), édité par J. Kari, (TUCS Lecture Notes, Turku), (pp. 100–110). (JAC@HAL)
- F. Givors, G. Lafitte et N. Ollinger, Infinite Time Cellular Automata: a Real Computation Model, Symposium on Cellular Automata Journées Automates Cellulaires (JAC'2010), édité par J. Kari, (TUCS Lecture Notes, Turku), (pp. 111–120). (JAC@HAL)
(Une liste plus complète de publications est disponible)
Projets et groupes de travail
Je participe aux projets et groupes suivants :
- projet ANR blanc EMC ;
- ARC INRIA CaCO3 ;
- IFIP WG 1.5 ;
- groupe de travail SDA2 du GDR IM ;
- groupe de travail CMF du GDR IM.
J'ai participé aux projets suivants :
- projet ANR blanc Sycomore ;
- projet franco-italien Interlink Automati cellulari: (...).
Encadrement
J'ai participé à l'encadrement autour de mes thèmes de recherche des étudiants suivants.
Thèses de doctorat
- Bastien Le Gloannec, Coloriage du plan discret par automates cellulaires. Depuis septembre 2011.
- Gaétan Richard, Systèmes de particules et collisions discrètes dans les automates cellulaires. Thèse soutenue le 4 décembre 2008.
- Vincent Bernardi, co-encadré à 50% avec Bruno Durand, Lois de conservation sur automates cellulaires. Thèse soutenue le 10 décembre 2007.
Stages de DEA ou Master 2 recherche
- Bastien Le Gloannec, automne 2010, stage de M2 recherche d'informatique de l'ENS 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'ENS 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'ENS Lyon,
co-encadré à 50% avec Bruno Durand. Calcul fiable en présence d'erreurs.
Stages de 1re année de magistère
- Timo Jolivet, co-encadré à 50% avec Grégory Lafitte, été 2008, stage L3IF.
Eternity II : puzzles, algorithmique et complexité. - Alexandre Buisse, été 2005, stage MIM1.
Puissance de calcul de l'automate cellulaire 54. - Gaétan Richard, été 2003, stage MIM1.
Autour de l'universalité de la règle 110.