I am interested in the verification of infinite-state systems, focussing on higher-order and counter-based automata models, with a view towards producing practical tools from theoretical results with a handling of concurrent systems.