My research area is symbolic dynamics. My earlier work is on problems of classification of shifts of finite type and sofic systems, and the existence of factor maps (or sliding block codes) between such systems. Since 1995 I have been working with Dan Silver on some applications of symbolic dynamics and algebraic dynamics to knot theory.