Plus en détails en ce moment j'ai plusieurs axes de recherches:
- les automates cellulaires et la percolation dynamique (bootstrap) sur les pavages (par losange) avec Kévin Perrot et Guillaume Theyssier, pour ces travaux on a fait un super simulateur JS-Perco (source).
- le problème de la fourmi de langton avec Anahí Gajardo et Michael Rao, pour ces travaux j'ai fait un super simulateur GL_Ant.
- les pavages substitutifs et coupe-et-projection avec Thomas Fernique et Jarkko Kari.
- la décidabilité et la calculabilité de problèmes sur les pavages (par losanges ou plus généraux) avec Benjamin Hellouin et Pascal Vanier.
- les pavages de groupes avec Thierry Coulbois, Solène Esnay, Pierre Guillon et Étienne Moutot.
- les pavages de Penrose avec Thomas Fernique.
- un formalisme diagrammatique pour la dynamique symbolique avec Nicolás Bitar, Titouan Carette, Étienne Moutot et Renaud Vilmart.
