About me

I am associate professor at the Department of Applied mathematics of the Faculty of Information Technology of the Czech Technical University in Prague.

I am member of Theoretical Informatics GRoup at the Department of Mathematics of the Faculty of Nuclear Sciences and Physical Engineering and of the Research Center for Informatics.

I am currently working with Štěpán Holub on a project formalizing Combinatorics on Words in Isabelle/HOL. The current published state of the formalization is available at gitlab.com.

Research interests search

  • combinatorics on words
  • formalization of combinatorics on words
  • symbolic dynamics

Various links link

Photo of Štěpán Starosta