Projects per year
Personal profile
Biography
I am a Professor in Computer Science and the 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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Finished
-
British Council MRes scholars - Women in STEM
Halford, A. (Co-Investigator), England, M. (Co-Investigator) & Bhagat, R. (Principal Investigator)
1/09/23 → 31/08/25
Project: Research
-
An iterated greedy algorithm with variable reconstruction size for the obnoxious p-median problem
Mousavi, S., Bhambar, S. & England, M., 1 Jan 2025, In: International Transactions in Operational Research. 32, 1, p. 144-175 32 p., 13340.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)47 Downloads (Pure) -
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Davenport, J. H., England, M., McCallum, S. & Uncu, A., 19 Nov 2025, In: Mathematics in Computer Science. 19, 23 p., 12.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
On Projective Delineability
Michel, L., Nalbach, J., Mathonet, P., Zénaïdi, N., Brown, C. W., Abraham, E., Davenport, J. H. & England, M., 26 Feb 2025, (E-pub ahead of print) 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, p. 9-16 8 p. (2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open AccessFile18 Downloads (Pure) -
Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data
Flood, D., England, M. & Grawemeyer, B., 21 Jul 2025, (E-pub ahead of print) Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and WideAIED. Springer Nature, p. 427-432 6 p. (Communications in Computer and Information Science; vol. 2590).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Projective Delineability for Single Cell Construction.
Nalbach, J., Michel, L., Ábrahám, E., Brown, C. W., Davenport, J. H., England, M., Mathonet, P. & Zénaïdi, N., 13 Jun 2025, (Accepted/In press) Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC2 '25). CEUR Workshop Proceedings, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile2 Downloads (Pure)
Datasets
-
Dataset supporting the paper: Truth table invariant cylindrical algebraic decomposition
Bradford, R. (Creator), Davenport, J. (Creator), England, M. (Creator), McCallum, S. (Creator) & Wilson, D. (Creator), University of Bath, 2015
DOI: 10.15125/bath-00076, https://researchdata.bath.ac.uk/id/eprint/76
Dataset
-
Data and code for the paper New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis
del Río, T. (Creator) & England, M. (Creator), Zenodo, 26 Jun 2022
DOI: 10.5281/zenodo.6750528, https://zenodo.org/records/6750528
Dataset
-
SMT-Solving Induction Proofs of Inequalities Benchmarking Repository
Uncu, A. K. (Creator), Davenport, J. H. (Creator) & England, M. (Creator), Zenodo, 28 Mar 2023
DOI: 10.5281/zenodo.7777297, https://zenodo.org/records/7777297
Dataset
-
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
Pickering, L. (Creator), Del Rio, T. (Creator), England, M. (Creator) & Cohen, K. (Creator), Zenodo, 9 Aug 2023
DOI: 10.5281/zenodo.8229298, https://zenodo.org/records/8229298
Dataset
-
Dataset supporting the paper: "A Case Study on the Parametric Occurrence of Multiple Steady States"
Bradford, R. (Contributor), Hoyt, C. (Contributor), Radulescu, O. (Contributor), Weber, A. (Contributor), Sturm, T. (Contributor), Gerdt, V. (Contributor), Davenport, J. H. (Contributor), Grigoriev, D. (Contributor), Košta, M. (Contributor), Errami, H. (Contributor) & England, M. (Contributor), Zenodo, 25 May 2017
DOI: 10.5281/zenodo.583280, https://zenodo.org/record/583280
Dataset
Activities
- 5 Participation in conference
-
International Symposium on Symbolic Computation in Software Science
England, M. (Member of Programme Committee)
28 Mar 2016 → 31 Mar 2016Activity: Participating in or organising an event › Participation in conference
-
International Workshop on Computer Algebra in Scientific Computing
England, M. (Member of Programme Committee)
19 Sept 2016 → 23 Sept 2016Activity: Participating in or organising an event › Participation in conference
-
40th International Symposium on Symbolic and Algebraic Computation (ISSAC)
England, M. (Organising Committee)
6 Jul 2015 → 9 Jul 2015Activity: Participating in or organising an event › Participation in conference
-
Conferences on Intelligent Computer Mathematics
England, M. (Member of Programme Committee)
13 Jul 2015 → 17 Jul 2015Activity: Participating in or organising an event › Participation in conference
-
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
England, M. (Member of Programme Committee)
21 Sept 2015 → 24 Sept 2015Activity: Participating in or organising an event › Participation in conference