Sebastián Barbieri Lemp

Welcome to my research page, here you can find my personal information, publications and some miscellaneous links.

I just finished my PhD thesis in ENS Lyon, In August I'm starting a postdoc in the University of British Columbia. I'll soon be migrating to a new webpage. My research interests are: dynamical systems, symbolic dynamics, tilings, substitutions, computability, group theory and cellular automata.

My CV can be found clicking here
Bureau 274 LUG
46 allée d’Italie
69007 Lyon
See [directions]



  • A notion of effectiveness for subshifts on finitely generated groups.[pdf][doi] in Theoretical Computer Science 2017, With Nathalie Aubrun and Mathieu Sablik.
  • (To appear in Ergodic Theory and Dynamical Systems) A generalization of the simulation theorem for semidirect products[pdf], With Mathieu Sablik.
  • (To appear in Groups, Geometry and Dynamics) Realization of aperiodic subshifts and densities in groups.[pdf], With Nathalie Aubrun and Stéphan Thomassé.
International Conferences:

  • The domino problem for self-similar structures.[pdf][doi] in Computing in Europe 2016, With Mathieu Sablik.
  • The group of reversible Turing machines.[pdf][doi] in AUTOMATA 2016, With Jarkko Kari and Ville Salo.
Ongoing and submitted

  • A geometric simulation theorem on direct product of finitely generated groups [pdf]
Work in progress:

  • A long version of the Automata paper The group of reversible Turing machines. With Jarkko Kari and Ville Salo. We've added some extra theorems and detailed proofs of the results announced in the automata version.
  • A study of automorphism groups of algebraic subshifts. So far I have some decomposition theorems, a class of algebraic subshifts for which the automorphism groups are easy to characterize in terms of the Unit group of a quotient ring and a few computability results. I am exploring a wide definition of deterministic sets as a replacement for the Fourier decomposition given by Pontryagin duality if the alphabet were $\mathbb{C}$.
  • A project to study computable topologies on the set of subshifts on $\mathbb{Z}^2$. For many aspects, the usual Hausdorff topology given by the convergence of the language in every finite window is insufficient to study interesting sets such as sofic or effective subshifts. My goal is to define different topologies linked to computability restrictions (such as restrictions on the projective subdynamics) in order to get more insight on open problems such as whether all sofic subshifts admit same entropy SFT extensions.
Thesis and Memoires:

  • Shift spaces on groups: computability and dynamics[pdf], PhD Thesis at ENS de Lyon, June 2017.
  • Tilings on different structures: exploration towards two problems.[pdf], Mémoire de M2 de l'ENS de Lyon, June 2014.
  • Subshifts generados por sustituciones multidimensionales.[pdf], Memoria ingeniería Universidad de Chile, July 2014.