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

  • 434 Citations
  • 14 h-Index
20092020

Research output 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

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.

  • 7 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs

Florescu, D. & England, M., 20 May 2020, (Accepted/In press) Mathematical Software - ICMS 2020. Springer International Publishing, Vol. (In-Press). p. (In-Press) 10 p. (Lecture Notes in Computational Science and Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

  • Computing with CodeRunner at Coventry University: Automated summative assessment of Python and C++ code.

    Croft, D. & England, M., 13 Jan 2020, Proceedings of the 4th Conference on Computing Education Practice 2020. ACM, 4 p. 1. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    Open Access
    File
  • 1 Citation (Scopus)
    12 Downloads (Pure)

    First Year Computer Science Projects at Coventry University: Activity-led integrative team projects with continuous assessment.

    Billings, S. & England, M., 13 Jan 2020, CEP 2020: Proceedings of the 4th Conference on Computing Education Practice 2020. ACM, 4 p. 2. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    Open Access
    File
  • 1 Citation (Scopus)
    3 Downloads (Pure)

    Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks

    Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T. & Weber, A., May 2020, In : Journal of Symbolic Computation. 98, p. 84 - 119 36 p.

    Research output: Contribution to journalArticle

  • 2 Citations (Scopus)

    Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness

    Florescu, D. & England, M., 18 Mar 2020, Mathematical Aspects of Computer and Information Sciences : Proc. MACIS 2019. Slamanig, D., Tsigaridas, E. & Zafeirakopoulos, Z. (eds.). Springer International Publishing, Vol. 11989 . p. 341-356 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11989 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

  • Activities

    • 5 Participation in conference

    International Workshop on Computer Algebra in Scientific Computing

    Matthew England (Member of Programme Committee)
    19 Sep 201623 Sep 2016

    Activity: Participating in or organising an eventParticipation in conference

    International Symposium on Symbolic Computation in Software Science

    Matthew England (Member of Programme Committee)
    28 Mar 201631 Mar 2016

    Activity: Participating in or organising an eventParticipation in conference

    International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

    Matthew England (Member of Programme Committee)
    21 Sep 201524 Sep 2015

    Activity: Participating in or organising an eventParticipation in conference

    Conferences on Intelligent Computer Mathematics

    Matthew England (Member of Programme Committee)
    13 Jul 201517 Jul 2015

    Activity: Participating in or organising an eventParticipation in conference

    40th International Symposium on Symbolic and Algebraic Computation (ISSAC)

    Matthew England (Organising Committee)
    6 Jul 20159 Jul 2015

    Activity: Participating in or organising an eventParticipation in conference