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.
Lecturer in Computer Science