Research
Games, verification and theoretical biology
My main research interest is algorithmic game theory, in particular strategy complexity of two player, zero-sum games. Besides that I am also working on problems (1) in programming languages, especially to do with improved algorithms for control flow graphs of programs; and (2) related to edit distance for automata; and (3) in evolution in theoretical biology.