His current research interests include decidability issues and complexity bounds for well-structured transition systems, but also computational linguistics and formal languages.