Paul C. Bell

Dr Paul C. Bell is a Research Fellow in Computer Science currently affiliated with Liverpool John Moores University since 2017, maintaining a continuing Visiting Fellow position at Loughborough University where he previously served as a lecturer from 2011 to 2017. His academic foundation includes postdoctoral research at Turku University (Finland), Universite catholique de Louvain (Belgium), and Liverpool University following doctoral studies.

His educational background comprises:

• BSc, University of Liverpool
• PhD, University of Liverpool

Dr Bell specializes in Theoretical Computer Science and Formal Language Theory, investigating the boundaries of tractability and computability for reachability problems across mathematical models including matrix semigroups, hybrid systems, and probabilistic/quantum automata. His interdisciplinary work bridges Computer Science, Physics, and Mathematics through encodings of optimization problems for adiabatic quantum computers, alongside contributions to energy-efficient computing via speed-scaling algorithms for multi-processor systems. With over twenty publications in leading international venues, he actively serves as a reviewer and program committee member for conferences such as Reachability Problems 2017.