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

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

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

Symbolic computation
Preprocessing
Numerical continuation
Protein kinase
Continuation method

Activities 2015 2016

  • 5 Participation in conference

International Workshop on Computer Algebra in Scientific Computing

England, M. (Member of Programme Committee)
19 Sep 201623 Sep 2016

Activity: Participation in conference

International Symposium on Symbolic Computation in Software Science

England, M. (Member of Programme Committee)
28 Mar 201631 Mar 2016

Activity: Participation in conference

40th International Symposium on Symbolic and Algebraic Computation (ISSAC)

England, M. (Organising Committee)
6 Jul 20159 Jul 2015

Activity: Participation in conference

Conferences on Intelligent Computer Mathematics

England, M. (Member of Programme Committee)
13 Jul 201517 Jul 2015

Activity: Participation in conference

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

England, M. (Member of Programme Committee)
21 Sep 201524 Sep 2015

Activity: Participation in conference