, but are not limited to, the study of linear dynamic systems, symbolic dynamics, recurrent sequences, verification, and logical aspects... of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions...