Mike Müller received his degree in Computer Science at the University of Stuttgartin 2011. From 2011 to 2014 he was research assistant in the Dependable Systems Group at the Kiel University, working on the project ``Combinatorial Aspects of Words and their Applications'' funded by the German Science Foundation (DFG).