Dr Matthew England

Senior Lecturer

Faculty of Engineering, Environment and Computing, Coventry University

School of Computing, Electronics and Mathematics

Faculty Research Centre for Fluid and Complex Systems

Dr. Matthew England

I am a Senior Lecturer in Computer Science, a doctor of Mathematics, a Fellow of the IMA, a Fellow of the HEA and a professional member of the ACM.

Since April 2015 I have worked at Coventry University. I work in the Faculty of Engineering, Environment and Computing (EEC) as a member of both the School of Computing, Electronics and Mathematics (CEM) and the Faculty Research Centre for Fluid and Complex Systems (FCS).

I mainly teach on modules in programming and theoretical computer science; and I am Course Director for the MSci in Computer Science.

My research is mainly in the area of Computer Algebra / Symbolic Computation, in particular, Cylindrical Algebraic Decomposition and Quantifier Elimination. I am further interested in applications of the former to problems in biology and economics, and the application of machine learning to improve QE software. In the past I also produced research in Integrable Systems, in particular, Abelian Functions.
My main research projects are the EU H2020 Project SC2 and an EPSRC Project on Embedding Machine Learning in Quantifier Elimination Procedures.

From 2012-2015 I was the Research Officer for the EPSRC funded project Real Geometry and Connectedness via Triangular Description at the University of Bath.

Contact Information:
Room EC 3-12,
Engineering and Computing Building,
Coventry University,
Coventry, CV1 2JH, UK
Email: Matthew.England@coventry.ac.uk

Latest News

In 2019 I will be co-PC Chair for CASC 2019. I am also serving on the PC for SC2 2019

I am leading EPSRC Project EP/R019622/1, Embedding Machine Learning within Quantifier Elimination Procedures, starting July 2018. The project funds:

I was a lecturer at the SAT/SMT/AR Summer School 2018 in Manchester, UK.

In 2018 I was on the PC for ISSAC 2018, CASC 2018, CICM 2018 (Calculemus Track), SC2 2018, AISC 2018, and SYNASC 2018.

As of August 2017 I have been promoted to Senior Lecturer in Computer Science at Coventry University.

In Summer 2017 I joined Faculty Research Centre for Flow Measurement and Fluid Mechanics at Coventry University.

In 2017 I was: Calulemus Track Chair for CICM 2017; general co-Chair for SC2 2017; and co-Chair of Track 1 for MACIS 2017.
I also served on: the PC for the Symbolic Computation Track of SYNASC 2017; the PC for CASC 2017; and Publicity Chair for ECCAD 2017.

I am involved in the SC-Square Community and am P.I. for Coventry University on the accompanying EU H2020 FET CSA Project.

Starting April 2015 I have a new job as Lecturer in Computer Science at Coventry University.

In January 2015 I was appointed as the Information Director of SIGSAM.

Website template from Sylvain Lafitte Web Design / Development.