Paul studied for a BSc in Computer Science at the University of Liverpool in 2004, followed by a Summer studentship at Imperial College and then a PhD in Theoretical Computer Science at University of Liverpool in 2007. He held Postdoctoral Research Associate positions at Turku University (Finland), Universite catholique de Louvain (Belgium) and the University of Liverpool.

He joined the Department of Computer Science at Loughborough University in 2011 as a Lecturer and the School of Computer Science and Mathematics at Liverpool John Moores University in 2017 as a Senior Lecturer. He joined the School of Computer Science and Mathematics at Keele University in 2022 as a Reader in Computability and Automata Theory.

He is Programme Director for Computer Science Undergraduate Programmes at Keele University. He is currently external examiner of Computer Science Undergraduate Programmes at University of Liverpool and has been external examiner of PhD candidates at several universities. He is a visiting researcher at Loughborough University.

Please see here for his personal webpage.

Research and scholarship

Paul's research areas are within Theoretical Computer Science and Mathematics. His research spans topics in reachability and verification of algebraic structures, dynamical systems and hybrid systems; formal languages, combinatorics on words and theory of computation; probabilistic and quantum automata; online algorithms and computational geometry.

He is also interested in the design and analysis of efficient algorithms in a variety of domains and determining the complexity and computability of various problems. He has received funding for his research from several sources, including the Royal Society, London Mathematical Society and EPSRC.

He is on the Editorial Board of The Computer Journal (the journal of the British Computer Society). He was co-chair of Reachability Problems 2021 (RP21) held in Liverpool and Chair of a special session on Reachability Problems of Computability in Europe (CiE) international conference in 2022. He has been on the Programme Committee of several leading conferences, including the Symposium on Theoretical Aspects of Computer Science (STACS 2024). He was organiser of the British Colloquium of Theoretical Computer Science 2014 (BCTCS14). He is a regular reviewer for leading international conferences and journals.

School of Computer Science and Mathematics
Keele University