Researcher in theoretical computer science. Works in formal methods, program verification and real-timed systems. Primary areas of interest are theory of timed automata, pushdown systems and their timed generalisations, model checking.