Internship supervised by Nathalie Aubrun at the LIP (ENS de Lyon, France), during summer 2017.

Abstract

During this internship, I studied subshifts of finite type (SFTs) over groups. The goal was to understand the link between structural properties of groups and computational aspects of some problems related to these groups. I focused on the surface group of genus 2, and succeeded in proving that the Domino problem of this groups is undecidable.

• slides : pdf