Matthew England

View Scopus Profile

Matthew England

Dr

 https://orcid.org/0000-0001-5729-3420

    Accepting PhD Students

    PhD projects

    - Computer algebra and logic algorithm development.
    - MATH-AI: particularly for optimising computational mathematics software
    - Pedagogy of programming and algorithms.

    Calculated based on number of publications stored in Pure and citations from Scopus
    20092025

    Research activity per year

    Personal profile

    Biography

    I am a Professor in Computer Science and the co-Director of the Coventry University Research Centre for Computational Science and Mathematical Modelling. 

    I achieved a PhD in Mathematics from Heriot Watt University, Edinburgh.  I then worked at the Universities of Glasgow and Bath, before securing a permanent position at Coventry University in April 2015.

    I currently lead an ESPRC grant, Pushing Back the Doubly Exponential Wall on Cylindrical Algebraic Decomposition. I also led the EPSRC project Embedding Machine Learning in Quantifier Elimination Procedures and I was also the Coventry site PI for a large EU project on Satisfiability Checking and Symbolic Computation.   I am co-I on two British Council Women in STEM research scholarship projects.

    I am on the committee of the ACM Special Interest Group for Symbolic and Algebraic Manipulation (SIGSAM) and I am an editor for Springer journal, Mathematics in Computer Science.  

    See my personal academic website for further details:
    https://matthewengland.coventry.domains/index.html

    Research Interests

    My research expertise is on algorithms of symbolic computation (the automation of symbolic mathematics and logic) including:  new fundamental algorithm development; their implementation in computer algebra systems; their analysis; their optimisation with machine learning technology; their direct application (e.g. in biology and economics) and other areas of computer science.

    I have been recently getting interested in the emerging subfield of MATH-AI.  Both in the application of AI to improve computational mathematics, and in the use of mathematical systems to improve and validate the logical reasoning of AI.

    My research expertise is on algorithms of symbolic computation (the automation of symbolic mathematics and logic) including:  new fundamental algorithm development; their implementation in computer algebra systems; their analysis; their optimisation with machine learning technology; their direct application (e.g. in biology and economics) and other areas of computer science.

    I have been recently getting interested in the emerging subfield of MATH-AI.  Both in the application of AI to improve computational mathematics, and in the use of mathematical systems to improve and validate the logical reasoning of AI.

    Education/Academic qualification

    Mathematics, Doctorate, Higher genus Abelian functions associated with algebraic curves, Heriot-Watt University

    Award Date: 1 Jul 2010

    Applied Mathematics, MSc, Elliptic Curve Cryptography, Heriot-Watt University

    Award Date: 1 Oct 2006

    Mathematics with Economics, Degree, Royal Holloway, University of London

    Award Date: 31 Jul 2005

    Keywords

    • QA76 Computer software
    • Symbolic Computation
    • Computer Algebra
    • Satisfiability Module Theory
    • Automated Reasoning

    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.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    External collaboration on country/territory level for the past five years. Dive into details by clicking on the dots or
    Explore network further
    View all 87 research outputs
    View all 10 datasets
    • 5 Participation in conference