Dr. Matthew England


Matthew is an Associate Professor of Computer Science at Coventry University.



Ph.D. Mathematics, Heriot Watt University

M.Sc. Applied Mathematical Sciences, Heriot Watt University

B.Sc. Mathematics with Economics, Royal Holloway University of London

Postgraduate Certificate in Academic Practice, University of Glasgow

Senior Fellow of the Higher Education Academy



My research expertise is on algorithms of symbolic computation (the automation of exact symbolic mathematics) and their implementation in computer algebra systems. More specifically, I focus on algorithms of real algebraic geometry and computational logic. I have published on improved fundamental algorithms, their applications both direct (e.g. biology and economics) and in other areas of computer science (e.g. programming over complex numbers and motion planning). I am also involved in research that seeks to combine computer algebra systems with satisfiability modulo theory (SMT) solvers, and to apply machine learning techniques to improve the performance of computer algebra systems without risking mathematical correctness.

I have taught a variety of programming classes and have published on the use of automation in assessment and feedback. I am also interested in the use of computer algebra systems within mathematics education.

Publication list can be found on pure.


The Details

Job Title

Lecturer in Computer Science





 Queen’s Award for Enterprise Logo
University of the year shortlisted
QS Five Star Rating 2020
Coventry City of Culture 2021