Je m'intéresse aux liens entre la dynamique symbolique (automates cellulaires, pavages discrets …), la théorie de la calculabilité et/ou la théorie des groupes. Plus précisément:

• Une approche combinatoire de la topologie algébrique des pavages: groupe fondamental projectif, cocycle fondamental, cohomologie des Hom shifts.
• Des restrictions calculatoires sur des invariants de conjugaison: entropies, points périodiques …
• Une étude des pavages substitutifs sur des structures discrètes: groupes, graphes, structures auto-similaires …

Liste de publications disponible ici.