Matthew England

Associate, Faculty Research Centre in Fluid and Complex Systems
Senior Lecturer, School of Computing, Electronics and Maths

Emailab9797@coventry.ac.uk

266 Citations
11 h-Index

If you made any changes in Pure these will be visible here soon.

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.

6 Similar Profiles

Decomposition Engineering & Materials Science

Learning systems Engineering & Materials Science

Polynomials Engineering & Materials Science

Computational geometry Engineering & Materials Science

Algebra Engineering & Materials Science

Neural networks Engineering & Materials Science

Support vector machines 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 2019

266 Citations
11 h-Index
24 Conference proceeding
13 Article
5 Chapter
2 Paper
2 More
- 1 Meeting Abstract
- 1 Review article

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

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

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

student

performance

programming

staff

curriculum

PLIT: An alignment-free computational tool for identification of long non-coding RNAs in plant transcriptomic datasets

Deshpande, S., Shuttleworth, J., Yang, J., Taramonli, S. & England, M. Feb 2019 In : Computers in Biology and Medicine. 105, p. 169-181 13 p.

Research output: Contribution to journal › Article

RNA

Feature extraction

Genes

Proteins

2 Citations

A Combined CNN and LSTM Model for Arabic Sentiment Analysis

Alayba, A., Palade, V., England, M. & Iqbal, R. 24 Aug 2018 Cross Domain Conference for Machine Learning and Knowledge Extraction: CD-MAKE 2018. Springer International Publishing, Vol. 11015, p. 179-191 13 p. (Lecture Notes in Computer Science)

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

Open Access

File

Neural networks

Processing

Speech recognition

Data structures

Image processing

2 Citations

Improving Sentiment Analysis in Arabic Using Word Representation

Alayba, A., Palade, V., England, M. & Iqbal, R. 4 Oct 2018 Proc. 2nd International Workshop on Arabic Script Analysis and Recognition (ASAR '18). IEEE Computer Society, p. 13-18 6 p.

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

Open Access

File

Learning systems

Feature extraction

Neural networks

Learning algorithms

Gages

Machine Learning for Mathematical Software

England, M. 14 Jul 2018 Mathematical Software : Proceedings of the International Congress on Mathematical Software (ICMS 2018). Davenport, J. H., Kauers, M., Labahn, G. & Urban, J. (eds.). Springer, p. 165-174 10 p. (Lecture Notes in Computer Science; vol. 10931)

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

Open Access

File

Learning systems

Algebra

Support vector machines