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
- Low on motivation? See this illustrated guide
- Formalizing 100 theorems