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.

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

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

Cylindrical Algebraic Decomposition with Equational Constraints

England, M., Bradford, R. & Davenport, J. H., 1 Mar 2019, (Accepted/In press) In : Journal of Symbolic Computation. 54 p.

Research output: Contribution to journalArticle

File
Decomposition
Decompose
Polynomials
Polynomial
Quantifier Elimination

Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T. & Weber, A., 6 Feb 2019, (Accepted/In press) In : Journal of Symbolic Computation. (In-press), p. (In-press)

Research output: Contribution to journalArticle

Open Access
Biological Networks
Parameter Space
Protein Kinase
Symbolic Computation
Elimination Theory

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 journalArticle

RNA
Feature extraction
Genes
Proteins
3 Citations (Scopus)

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 proceedingConference proceeding

Open Access
File
Neural networks
Processing
Speech recognition
Data structures
Image processing

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