Dr Paul C. Bell studied for a BSc and PhD at the University of Liverpool, before taking up postdoc positions at Turku University (Finland), Universite catholique de Louvain (Belgium) and Liverpool University. He then became a lecturer at º¬Ðß²ÝÊÓƵ in 2011 and held that position for six years. He moved to Liverpool John Moores University in 2017 and remains a Visiting Fellow at º¬Ðß²ÝÊÓƵ.
His research area is in Theoretical Computer Science and Formal Language Theory. He studys the border of tractability and computability for solving reachability type problems in various mathematical and computational models, such as matrix semigroups, hybrid systems, and probabilistic/quantum automata. He researches encodings of optimizations problems to adiabatic quantum computers, with this research lying on the border on Computer Science, Physics and Mathematics. He has also worked on the design and analysis of efficient algorithms for energy minimization via speed scaling of multi-cpu systems.
Dr Bell has over twenty publications in leading international conferences and journals and has been a reviewer for many such outlets, as well as a programme committee member for Reachability Problems 2017.
- Theoretical Computer Science
- Formal Language Theory