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
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 1 Active
-
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 AccessFile47 Downloads (Pure) -
Iterated Resultants and Rational Functions in Real Quantifier Elimination
Davenport, J. H., England, M., McCallum, S. & Uncu, A., 28 Feb 2025, (Accepted/In press) In: Mathematics in Computer Science. (In-Press), p. C 21 p.Research output: Contribution to journal › Article › peer-review
-
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 AccessFile3 Downloads (Pure) -
Predicting At-Risk Programming Students in Small Imbalanced Datasets using Synthetic Data
Flood, D., England, M. & Grawemeyer, B., 7 May 2025, (Submitted) 26th International Conference on Artificial Intelligence in Education. Springer Nature, (Communications in Computer and Information Science).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
-
Robust Auto-Tuning Control of a Delivery Quadcopter with Motor Faults, Mass and Inertia Estimation
Mafaz, M. A., Horri, N., Lu, Q. & England, M., 23 Jan 2025, (E-pub ahead of print) In: IFAC-PapersOnLine. 58, 28, p. 744-749 6 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile10 Downloads (Pure)
Datasets
-
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
-
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, http://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, 2022
DOI: 10.5281/zenodo.6750528, https://zenodo.org/record/6750528
Dataset
-
Dataset supporting "Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases"
Huang, Z. (Creator), England, M. (Creator), Davenport, J. H. (Creator) & Paulson, L. C. (Creator), Zenodo, 2017
DOI: 10.5281/zenodo.343885, https://zenodo.org/record/343885
Dataset
-
Dataset supporting the paper: Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
England, M. (Creator), Errami, H. (Creator), Grigoriev, D. (Creator), Radulescu, O. (Creator), Sturm, T. (Creator) & Weber, A. (Creator), Zenodo, 2017
DOI: 10.5281/zenodo.807678, https://zenodo.org/record/807678
Dataset
Activities
- 5 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
-
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
-
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
-
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
-
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