Dr. Matthew England

Position

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

Qualifications

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

Research

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.