Photo of Matthew England

Matthew England

Dr

    Accepting PhD Students

    PhD projects

    - Application of machine learning to improve computer algebra systems. - Improved algorithms for quantifier elimination. - Application of computer algebra to network biology. - Applications of computer algebra to economics

    • Source: Scopus
    • Calculated based on no. of publications stored in Pure and citations from Scopus
    20092021

    Research activity per year

    If you made any changes in Pure these will be visible here soon.

    Personal profile

    Biography

    I am an Associate Professor in Computer Science with a PhD in mathematics, working at Coventry University since April 2015.

    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 solvers, and to apply machine learning techniques to improve the performance of computer algebra systems without risking mathematical correctness.

    I currently lead an ESPRC grant on the latter topic (embedding machine learning in quantifier elimination procedures) and I was the Coventry site PI for a large EU project on Satisfiability Checking and Symbolic Computation. I am available as a PhD adviser on the topics discussed above.

    I am committee of the ACM Special Interest Group for Symbolic and Algebraic Manipulation (SIGSAM) and the ongoing PC Chair of the annual International Conference on Computer Algebra in Symbolic Computation (CASC).  

    See my personal academic website for further details:
    http://computing.coventry.ac.uk/~mengland/index.html

    Research Interests

    • Algorithms for Symbolic Computation
    • Implementations in Computer Algebra Systems
    • Algorithms for polynomial systems, real algebraic geometry and computational logic.
    • Quantifier Elimination and Cylindrical Algebraic Decomposition
    • Machine Learning for Software Optimisation
    • Satisfiability Modulo Theories
    • Applications of the above to sciences, engineering and economics.

    Education/Academic qualification

    Doctorate, Heriot-Watt University

    Award Date: 1 Jul 2010

    Keywords

    • QA76 Computer software
    • Symbolic Computation
    • Computer Algebra

    Fingerprint

    Dive into the research topics where Matthew England is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 6 Similar Profiles

    Network

    Recent external collaboration on country level. Dive into details by clicking on the dots or
    Your message has successfully been sent.
    Your message was not sent due to an error.
    If you made any changes in Pure these will be visible here soon.