I research problems in Theoretical Computer Science, on the border between Computer Science and Mathematics. Lists of my publications are available at DBLP, Google Scholar or ORCID. Some more detailed topics that I have worked on are given below.

I currently have a two year Royal Society International Exchange grant for bilateral travel with Université catholique de Louvain. I have received two travel grants from the London Mathematical Society for research visits to University of Göttingen. I received an NVIDIA hardware grant in 2015 for simulations of adiabatic quantum computation.

I have supervised four PhD student to completion and I am currently supervising two students in Theoretical Computer Science and Pure Mathematics.

I recently gave a plenary seminar at SAMSA 2025 - Workshop on Series, Automata, Matrices, Symbolic dynamics, and their Applications. I am on the Editorial Board of The Computer Journal (The British Computer Society).

Thanks for showing an interest in my work.

Research Areas

Automated verification:

• Dynamical systems (discrete, continuous and hybrid time) and linear recurrence sequences
• Graph problems, Petri nets and linear systems (matrix semigroups)
• Stochastic systems, probabilistic, Buchi, weighted and quantum finite automata and problems on Markov chains
• Coding theory, formal languages, vector additional systems with states

Complexity, computability and efficient algorithmic design:

• Algebraic structures, matrix semigroups, graph theory, group theory and linear systems (in particular: reachability, convergence, freeness, joint spectral radius; undecidability)
• Theory of computation, design of algorithms for compressed data representations, symbolic logic, unconventional models of computation, quantum automata

Other research areas

• Multiprocessor scheduling algorithms for dynamic power management (energy and temperature minimization)
• Efficient multi-CPU and GPU algorithm design, analysis and implementation; scalable algorithms; Online algorithms and competitive analysis in various domains
• Discrepancy theory, sampling, semi-supervised clustering, computational geometry

External Examining

Programme Committees and Chairs

• Programme Committee of International Joint Conference on Theoretical Computer Science – Frontier of Algorithmic Wisdom (ICTCS-FAW 2024)
• Programme Committee of Symposium on Theoretical Aspects of Computer Science (STACS 2024)
• Chair of a special session on Reachability Problems of Computability in Europe (CiE) international conference in 2022
• Co-chair of Reachability Problems (RP 2021)
• Programme Committee of Reachability Problems (2017, 2018, 2019)
• Organizing Chair of ICIDM (Interactive Digital Media) 2018 at Liverpool John Moores University
• Co-chair of The 30th British Colloquium for Theoretical Computer Science (BCTCS 2014)

Keele University

Reader in Computability and Automata Theory, 2022-2025

Mobile Application Development (CSC-20038), Introduction to Algorithms (CSC-10064), Individual Study Topic in Computer Science (CSC-20047), Final Year Projects.

Loughborough University

Lecturer, 2011 - 2017

Algorithm Analysis (COC104), Introduction to Algorithms (COA105), Operating Systems, Networks and the Internet (COB231), Server-Side Programming (COA123), Final Year Projects.

University of Liverpool

University Teacher, 2009 - 2011

Software Engineering (COMP201), Database and Information Systems (COMP518), Human-Centric Computing (COMP106), Introduction To Programming In Java (COMP101), Group Software Project (COMP208)

Conference Organisation

I organised a special session on Reachability Problems at Computability in Europe, Swansea, 2022. I was the co-chair of 15th International Conference on Reachability Problems, held in Liverpool, UK in 2021. I was co-chair of BCTCS 2014, The 30th British Colloquium for Theoretical Computer Science.

Admin

Keele University: Programme Director (Computer Science Undergraduate Programmes)
Loughborough University: Senior Tutor, Programme Director For Computer Science and Computer Science & Artificial Intelligence, Part A (first year) Tutor; LJMU: Member of Faculty Recognition Group.