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
-
ESRC Impact Funding via Coventry University: Scoping AI (Il)literacy and (Un)readiness of Women Entrepreneurs in India and Kenya
Yoruk, E. (Principal Investigator) & England, M. (Co-Investigator)
9/03/26 → 9/03/27
Project: Internally funded project
-
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
-
A Survey on the Use of Machine Learning within Computer Algebra
Shafiq, U., England, M. & Zaidi, N., 23 Aug 2026, In: ACM Computing Surveys. 58, 15, p. 1-31 31 p., 391.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Downloads (Pure) -
Design for Transitions: Co-creating Solar-Battery e-Cookers for Underserved Households
Nixon, J., Halford, A., Sirimanna, M. P. G., Jilani, I., England, M., Mori, R., Habyarimana, C. & Kabananiye, J., 11 Feb 2026, (E-pub ahead of print) Social Science Research Network (SSRN).Research output: Working paper/Preprint › Preprint
-
From Energy Availability to Cooking Reliability: User-Centric AI-Based Decision Support for Solar e-Cooking Systems in SSA
Jilani, I., England, M., Nixon, J. & Sirimana, G., 15 May 2026, (Accepted/In press) Proceedings of the 26th International Conference on Environment and Electrical Engineering. IEEE, p. (In-Press) 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Letting Homogeneity Entropy Select S-Pairs in Buchberger’s Algorithm
Shafiq, U., England, M., Sadeghimanesh, A. & Zaidi, N., 9 Aug 2026, (E-pub ahead of print) Computer Algebra in Scientific Computation (Proc. CASC 2026). Boulier, F. B., Mou, C., Sadykov, T. M. & Uncu, A. K. (eds.). Springer , p. 355-374 20 p. (Lecture Notes in Computer Science; vol. 16844).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
Open AccessFile16 Downloads (Pure) -
Physics-Informed Multi-Quantile Forecasting for Risk-Averse NHS Critical-Care Surge Allocation
Ajao-olarinoye, M., Babatunde, A., Sadeghimanesh, A., He, F. & England, M., 20 Jul 2026, (Accepted/In press) Proceedings of the 25th UK Workshop on Computational Intelligence: UKCI 2026. Springer , p. (In-Press) 12. (Advances in Intelligent Systems and Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
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
-
A machine learning based software pipeline to pick the variable ordering for algorithms with polynomial inputs
England, M. (Contributor) & Florescu, D. (Contributor), Zenodo, 2020
DOI: 10.5281/zenodo.3731703, https://zenodo.org/record/3731703
Dataset
-
Datset of automated economic reasoning problems for QE / SMT
Mulligan, C. (Creator), Bradford, R. (Creator), Davenport, J. H. (Creator), England, M. (Creator) & Tonks, Z. (Creator), Zenodo, 23 Apr 2018
DOI: 10.5281/zenodo.1226892, https://zenodo.org/record/1226892
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
-
Software supporting the paper: "Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition"
England, M. (Creator) & Florescu, D. (Creator), Zenodo, 2 May 2019
DOI: 10.5281/zenodo.2658626, https://zenodo.org/record/2658626
Dataset
Activities
- 5 Participation in conference
-
International Symposium on Symbolic Computation in Software Science
England, M. (Programme Committee Member)
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. (Programme Committee Member)
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. (Programme Committee Member)
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. (Programme Committee Member)
21 Sept 2015 → 24 Sept 2015Activity: Participating in or organising an event › Participation in conference