Thèmes de recherche

Je m'efforce de développer l'interface math-info. Cette dualité se trouve dans mes publications, dans les rencontres que j'ai organisées rassemblant des chercheurs d'horizons variés, dans les équipes auxquelles je me suis rattaché, ainsi que dans mon enseignement où je m'investis dans les deux matières.

Mes travaux s'inscrivent dans une problématique située à l'interface des mathématiques et de l'informatique: la propagation d'information dans les systèmes complexes. Un modèle de calcul a une évolution au cours du temps et peut être étudié en tant que système dynamique. C'est ainsi que les machines de Turing, les automates cellulaires déterministes et probabilistes, les pavages définis par règles locales et d'autres modèles de calculs ont été étudiés sous cet angle. On utilise alors des outils provenant des mathématiques (systèmes dynamiques, probabilité) et de l'informatique (algorithmique, calculabilité) pour mettre en évidence et quantifier divers transferts d'informations.
L'étude de ces systèmes montre que certaines propriétés dynamiques admettent des restrictions liées à la calculabilité et elles sont généralement optimales: étant donné une propriété vérifiant l'obstruction, on peut "programmer" un système dynamique dans la classe considérée qui réalise exactement cette propriété. L'application de ce principe m'a permis de décrire précisément des propriétés dynamiques ou probabilistes sur certains systèmes à l'aide d'outils issus de la calculabilité mais cela permet aussi une meilleure compréhension de ces modèles de calculs. Voilà les principaux points abordés:

J'ai eu aussi une approche empirique. Le but est de formaliser puis démontrer des phénomènes observés sur certaines classes d'automates cellulaires ou de pavages:

Encadrement

Encadrement doctoral

sep. 08 - juin 11 Thèse en Informatique (Marne la Vallée) de Nathalie Aubrun. Co-encadré avec Marie-Pierre Beal.
Titre: Dynamique symbolique des systèmes 2D et des arbres infinis
N. Aubrun est actuellement Chargé de Recherche CNRS au LIP à l'ENS de Lyon.
sept. 11 - sept. 14 Thèse en Math-Info (AMU) de Benjamin Hellouin de Menibus. Co-encadré avec Xavier Bressaud.
Thèmatique: Mesures atteignables asymptotiquement après itération d'un automate cellulaire.
sept. 15 - Thèse en Math-Info (AMU) de Silvère Gangloff.
Thèmatique: Système dynamique: liens entre propriétés dynamiques et propriétés algorithmiques.

Encadrement de stage

sep. 07 - fév. 08 Groupe de lecture étudiant au département de mathématique de l'ENS de Lyon
Thèmatique: Dynamique symbolique et combinatoire des mots
jan. 08 - juin 08 Mémoire M2 Recherche en Informatique (ENS Lyon) de Nathalie Aubrun
Titre: Stabilité de classes de sous-shifts par facteurs et sous-actions
mai 08 - juil. 08 Mémoire L3 de Mathématiques (ENS de Lyon) de Irène Marcovici au LATP
Titre: Etude de propriétés de dynamique directionnelle pour les automates cellulaire
oct. 09 - juin 10 Mémoire M1 Mathématiques Appliquées aux Sciences Sociales (AMU) de Z. Rachid
Titre: Comparaison entre graphe de terrain et graphes aléatoires
fév. 10 - juil. 10 Mémoire M2 Recherche en Informatique (ENS-Lyon) de Benjamin Hellouin de Menibus au LATP
Titre: Auto-organisation pour les automates cellulaires captifs
sept. 15 -Juin 16 Mémoire M2 en Math (AMU) de Franziska Sieron. Co-encadré avec Pierre Guillon.
Thèmatique: Densité des points périodique pour un sous-shift de type fini défini sur un groupe.
Juin. 17 -Juillet 17 Mémoire L3 en Info-Math (ENS Cachan) de Yoann BARSZEZAK.
Thèmatique: Algorithmic complexity of the set of invariant measures for an effective sub-shift.

Exposés réalisés

Mini cours

Novembre 2013 Links between computability and dynamics in multidimensional symbolic dynamics. Cours donné à Floripadynsys : Workshop on Dynamics, Numeration and Tilings, 4-8 novembre, Florianopolis, Brésil. Cours composé d'une série de trois lectures:
  • Course 1: Aperiodicity and Undecidability [PDF]
  • Course 2: Sub-dynamics of multidimensional sofic and Applications to find local rules [PDF]
  • Course 3: Algorithmic optimizations in multidimensional symbolic dynamics [Soon]
Novembre 2013 Pavage: du local au global. Cours donné à l'école CIMPA du Burkina Faso Mathématiques discrètes : aspects combinatoires, dynamiques et algorithmiques du 29 octobre au 9 novembre.

Conférences et colloques

Janvier 2014 Effective subshift realized as sub-action of sofic: an important tool to find local rules. Holomorphic and Symbolic Dynamics, 20-24 janvier, Toulouse.
Juin 2013 Local Rules for Computable Planar Tilings. Automata Theory and Symbolic Dynamics Workshop, 3-7 juin, Vancouver, Canada.
Janvier 2013 Local Rules for Computable Planar Tilings Subtile 2013 : Conférence internationale sur les pavages, 14-18 janvier, CIRM, Marseille.
Septembre 2012 Local Rules for Computable Planar Tilings Non standard hierarchical tilings, 20-22 septembre, Centre for Symmetry and Deformation, Copenhague.
Mars 2011 Which measures can be obtained by iteration of a cellular automaton? Journées ALEA, 7-11 mars, CIRM, Marseille.
Décembre 2010 Which measures can be obtained by iteration of a cellular automaton? School on Information and Randomness, 10-14 Décembre 2010, Pucon, Chili.
Septembre 2010 Simulation of effective subshifts by two-dimensional SFT Journées Montoise, 6-10 septembre2010, Amiens (orateur invité).
Juillet 2010 Simulation of effective subshifts by two-dimensional SFT Substitutive Tiling and Fractal Geometry, 4-11 Juillet 2010, Guangzhou, Chine.
Juin 2010 Simulation of effective subshifts by two-dimensional SFT Workshop Franco-Russe, 13-15 juin 2010, Moscou, Russie.
Avril 2008 Two points of view to study the iterates of a random configuration by a cellular automaton. Journées Automates Cellulaires, 21-25 avril 2008, Usèz.
Octobre 2007 Dynamiques directionelle et automates cellulaire. Journées SDA2, 4-5 octobre 2007 au LIAFA, Paris.
Septembre 2007 Directional dynamics for cellular automata as a tiling problem. Ordre Apériodique : nouveaux liens et anciens problèmes revisités 10-14 septembre 2007, CIRM, Marseille.
Juillet 2007 Directional dynamics for cellular automata. Conférence PORQ'ROLL 2007 sur le thème ``Generalized substitutions, tilings and numeration'', Porquerolles.
Mars 2007 Dynamique directionelle des automates cellulaires multidimensionnels. Ecole Jeunes Chercheurs Informatique Mathématique, 19-23 Mars 2007 au LORIA/INRIA, Nancy.
Janvier 2007 Dynamique directionnelle: Une vision spacio-temporelle de la propagation d'information. Les rencontres arithmétiques de l'informatique mathématique de Montpellier, 22-25 janvier 2007, LIRMM, Montpellier.
Octobre 2006 Dynamique directionnelle: Une vision spacio-temporelle des automates cellulaires. Frac d'automne 2006, 11-12 octobre, ENS de Lyon, Lyon.
Juin 2006 Dyamique sur l'espace des mesures. Frac d'été 2006, 1-2 juin 2006, CMI à Marseille.
Mai 2006 Invariant measures for the Z^2-action of the shift map and an algebraic cellular automaton. Colloque Dynamique et aléa, 21-25 mai 2006, Merliomont-Plage.
Avril 2006 Mesures invariantes pour l'action conjointe d'un automate cellulaire et du décalage : Problème à la Furstenberg. Colloque école Plurithématique de Théorie Ergodique II, 24-28 avril 2006, CIRM, Marseille.
Mai 2005 Le problème de Furstenberg pour les automates cellulaires algébriques. Journée Amiéno-Calaisienne de Probabilités, Théorie Ergodique et Statistiques, Calais.

Séminaires nationaux et internationaux

Mars 2013 Characterisation of sets of limit measures after iteration of a cellular automaton on a measure 13 mars 2013, Séminaire au MC2, ENS Lyon.
Décembre 2012 Which typical asymptotic behavior for a cellular automaton? 4 décembre 2012, Séminaire au I3S, Nice.
Août 2012 Which typical asymptotic behavior for a cellular automaton? 7 août 2012, Séminaire à University of Turku à Turku, Finlande.
Février 2011 Which typical asymptotic behavior for a cellular automaton? 25 février 2011, Séminaire au LIAFA, Paris.
Février 2011 Which typical asymptotic behavior for a cellular automaton? 9 février 2011, Séminaire au LIRMM, Montpellier.
Décembre 2008 Mesures invariantes pour l’action conjointe d’un automate cellulaire et du décalage. 5 mai 2008, Séminaire de Probabilité du LATP, Marseille.
Mars 2008 Directional dynamics for cellular automata. 4 mars 2008, Séminaire au laboratoire J.A. Dieudonné, Nice.
Février 2008 Directional dynamics for cellular automata. 15 février 2008 ,Séminaire au IMB, Bordeaux.
Avril 2007 Propriétés ergodique des automates cellulaires. Séminaire à l'IRMAR, Rennes.
Mars 2007 Dynamique directionnelle: Une vision spacio-temporelle de la propagation d'information. Groupe de travail de l'équipe ESCAPE au Laboratoire d'Informatique Fondamentale, Marseille.
Janvier 2007 Dynamique directionnelle: Une vision spacio-temporelle de la propagation d'information. Séminaire de l'équipe RECIF de l'INRIA de Sophia-Antipolis.
Juillet 2006 Directional dynamic: A spatiotemporal propagation of information. Séminaire de Mathématiques de Cluj, Roumanie.
Avril 2005 Measure rigidity for algebraic bipermutative cellular automata. Séminaire Ernest à l'Institut de Mathématiques de Luminy, Marseille.
Mai 2004 Recherche de mesures invariantes pour les automates cellulaires. Workshop autour des automates cellulaires à Marne-la-Vallée.
Janvier 2004 Propriedad ergodica sobre los automatas cellulares. Présentation des thèmes de recherche à Santiago, Chili.

Séjour dans une université étrangère

Août 2012 Université de Turku (Finlande). Visite à Jarkko Kari.
Décembre 2011 Universidad de Chile (Santiago). Visite à Michael Schraudner et Alejandro Maass.
Décembre 2010 Universidad de Chile (Santiago). Participation à School on Information and Randomness 2010.
Décembre 2006 Universidad de Chile (Santiago). Participation à School on Information and Randomness 2006.
Juillet 2006 Université de Cluj-Napoca (Roumanie).
2004--2005 Universidad de Chile (Santiago). Séjour dans le cadre de la thèse en cotutelle (6 mois).
Janvier 2004 CIMPA-UNESCO école d'été à Valdivia (Chili). Titre: Mathematical and Computional Methods in Biology.
2003--2004 Universidad de Chile (Santiago). Séjour dans le cadre de la thèse en cotutelle (6 mois).
Juin-Août 2001 Universidad de Chile (Santiago). Stage de Maitrise sous la direction d'Alejandro Maass qui a donné lieu à un mémoire de maitrise Autour de l'expansivité des automates cellulaires.
Juin-Août 2000 Uppsala Universitet. Stage de Licence sous la direction de Kyril Tintarev qui a donné lieu à un preprint Wavelet in abstract space.

Séminaires et groupes de travail marseillais où il m'arrive d'aller

Petite liste de séminaires et groupes de travail marseillais proche de ma thématique et où j'essaye de me rendre le plus régulièrement possible:

Liens