Matthew England

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.

8 Similar Profiles

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

Research Output

399 Citations
14 h-Index
33 Conference proceeding
15 Article
2 Paper
1 Chapter
3 More

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 proceeding › Conference proceeding

Open Access

File

1 Citation (Scopus)

5 Downloads (Pure)

Cylindrical Algebraic Decomposition with Equational Constraints

England, M., Bradford, R. & Davenport, J. H., 20 Mar 2020, In : Journal of Symbolic Computation. 100, p. 38-71 34 p.

Research output: Contribution to journal › Article

8 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 proceeding › Conference proceeding

Open Access

File

1 Citation (Scopus)

3 Downloads (Pure)

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 20 Mar 2020, In : Journal of Symbolic Computation. 100, p. 1-10 10 p.

Research output: Contribution to journal › Editorial

Algorithmically generating new algebraic features of polynomial systems for machine learning

Florescu, D. & England, M., 4 Oct 2019, Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation. CEUR Workshop Proceedings, 12 p. (CEUR Workshop Proceedings; vol. 2460).

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

Open Access

File