• 371 Citations
  • 13 h-Index
20092020
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
Decomposition Engineering & Materials Science
Learning systems Engineering & Materials Science
Polynomials Engineering & Materials Science
Algebra Engineering & Materials Science
Computational geometry Engineering & Materials Science
Support vector machines Engineering & Materials Science
Neural networks Engineering & Materials Science
Computer aided design Engineering & Materials Science

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

Research Output 2009 2020

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, Vol. (In-Press). 12 p.

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

Open Access
File
Learning systems
Polynomials
Decomposition
Algebra
Identification (control systems)

Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition

England, M. & Florescu, D., 8 Jul 2019, Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Proceedings. Kaliszyk, C., Brady, E., Kohlhase, A. & Sacerdoti Coen, C. (eds.). Springer, Vol. 11617. p. 93-108 16 p. (Lecture Notes in Artificial Intelligence; vol. 11617).

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

Learning systems
Machine Learning
Choose
Decomposition
Decompose

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

Croft, D. & England, M., 11 Nov 2019, (Accepted/In press) Proceedings - 4th Conference on Computing Education Practice, CEP 2020. ACM, Vol. (In-press). p. (In-press) 4 p.

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

Curricula
Students

Computing with Codio at Coventry University: Online virtual Linux boxes and automated formative feedback

Croft, D. & England, M., 9 Jan 2019, Proceedings - 3rd Conference on Computing Education Practice, CEP 2019. New York: ACM, 4 p. 16. ( ICPS: ACM International Conference Proceeding Series).

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

student
performance
programming
staff
curriculum
8 Downloads (Pure)

Cylindrical Algebraic Decomposition with Equational Constraints

England, M., Bradford, R. & Davenport, J. H., 2 Aug 2019, In : Journal of Symbolic Computation. (In-Press), p. (In-Press) 34 p.

Research output: Contribution to journalArticle

Decomposition
Decompose
Polynomials
Polynomial
Quantifier Elimination

Activities 2015 2016

  • 5 Participation 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 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

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

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