Skip to main content

Paul Hunter

Interests

My research is primarily centred on the use of mathematical games in theoretical computer science, in particular games for formal verification and pursuit-evasion games defining structural and algorithmic complexity.

Selected Publications

View AllManage publications