Matthew England — Coventry University

Personal profile

Biography

I am a Lecturer in Computer Science with a background in mathematics, working at Coventry University since April 2015. Prior to that I was the Research Officer for the EPSRC project "Real Geometry and Connectedness via Triangular Description" at the University of Bath. My research is mainly in the area of Computer Algebra / Symbolic Computation but I also have interestes in Machine Learning and Satisfiability Solving.

See my personal academic website for full details:
http://computing.coventry.ac.uk/~mengland/index.html

Research Interests

Computer Algebra / Symbolic Computation
Quantifier Elimination
Cylindrical Algebraic Decomposition
Polynomial Systems
Computational Geometry
Machine Learning for Software Optimisation
Satisfiability Modulo Theories

Education / Academic qualification

Doctorate, Heriot-Watt University

Keywords

QA76 Computer software
Symbolic Computation
Computer Algebra

Fingerprint Fingerprint is based on mining the text of the persons scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Decomposition Engineering & Materials Science

Learning systems Engineering & Materials Science

Geometry Engineering & Materials Science

Experiments Engineering & Materials Science

Polynomials Engineering & Materials Science

Computer aided design Engineering & Materials Science

Algebra Engineering & Materials Science

Health Engineering & Materials Science

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

Research Output 2009 2017

17 Conference proceeding
11 Article
3 Chapter
3 Paper
1 More
- 1 Review article

A Case Study on the Parametric Occurrence of Multiple Steady States

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T. & Weber, A. 25 Jul 2017 Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation: ISSAC '17. Association for Computing Machinery, p. 45-52 8 p.

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

Model

Protein kinase

Biological networks

Symbolic computation

Numerics

Arabic Language Sentiment Analysis on Health Services

Alayba, A., Palade, V., England, M. & Iqbal, R. 2017 Proc. 1st International Workshop on Arabic Script Analysis and Recognition. 6 p.

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

Health

Learning systems

Neural networks

Learning algorithms

Support vector machines

OpenMath and SMT-LIB

Davenport, J. H., England, M., Sebastiani, R. & Trentin, P. 10 Jul 2017 Proceedings of the 2017 OpenMath Workshop. p. (in press) 9 p.

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

language

adaptation

mathematics

SC-Square: When Satisfiability Checking and Symbolic Computation Join Forces

Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Cimatti, A., Davenport, J. H., England, M., Fontaine, P., Forrest, S., Ganesh, V., Griggio, A., Kroening, D. & Seiler, W. M. 6 Aug 2017 4 p.

Research output: Contribution to conference › Paper

Interaction

Decision procedures

Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

England, M., Errami, H., Grigoriev, D., Radulescu, O., Sturm, T. & Weber, A. 4 Jun 2017 Proceedings of the the 19th International Workshop on Computer Algebra in Scientific Computing: CASC '17. Springer, Vol. (in press), p. (in press) 15 p.

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

Symbolic computation

Preprocessing

Numerical continuation

Protein kinase

Continuation method