Matthew England — Coventry University

Personal profile

Biography

I am a Senior 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 person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

1 Similar Profiles

Decomposition Engineering & Materials Science

Learning systems Engineering & Materials Science

Polynomials Engineering & Materials Science

Computational geometry Engineering & Materials Science

Algebra Engineering & Materials Science

Support vector machines Engineering & Materials Science

Computer aided design Engineering & Materials Science

Neural networks Engineering & Materials Science

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

Research Output 2009 2018

220 Citations
9 h-Index
20 Conference proceeding
12 Article
3 Chapter
2 Paper
2 More
- 1 Meeting Abstract
- 1 Review article

Improving Sentiment Analysis in Arabic Using Word Representation

Alayba, A., Palade, V., England, M. & Iqbal, R. 14 Feb 2018 (Accepted/In press) Proc. 2nd International Workshop on Arabic Script Analysis and Recognition (ASAR '18). IEEE Computer Society, Vol. (in press), p. (in press) 6 p.

Research output: Research - peer-review › Conference proceeding

Learning systems

Neural networks

Learning algorithms

Gages

Processing

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Huang, Z., England, M., Wilson, D., Bridge, J., Davenport, J. H. & Paulson, L. C. 26 Mar 2018 (Accepted/In press) In : Mathematics in Computer Science. (in press), p. (in press) 28 p.

Research output: Research - peer-review › Article

Learning systems

Heuristics

Decomposition

Decompose

Groebner Basis

1 Citations

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: Research - peer-review › Conference proceeding

Open Access

File

Protein Kinase

Biological Networks

Symbolic Computation

Positivity

Equality

Arabic Language Sentiment Analysis on Health Services

Alayba, A., Palade, V., England, M. & Iqbal, R. 16 Oct 2017 2017 1st International Workshop on Arabic Script Analysis and Recognition (ASAR). IEEE Computer Society, p. 114-118 5 p.

Research output: Research - peer-review › Conference proceeding

Open Access

File

Learning algorithms

Support vector machines

Learning systems

Logistics

Marketing