Research Interests

automata theory (mostly practically-motivated automata models)
simulation and analysis of quantum circuits and programs
logic and SMT solving (SMT theories of strings, integers, monadic second-order logics over strings and trees, …)
omega-automata
efficient regular expression matching