Since April 2015 I have worked at Coventry University. I am primarily based in the University Research Centre for Computational Science and Mathematical Modelling (CSM). I also teach students in the School of Computing, Electronics and Mathematics (CEM).
My research is mainly in the area of Computer Algebra / Symbolic Computation, in particular, Cylindrical Algebraic Decomposition and Quantifier Elimination. I am interested in fundamental algorithms, and applications particularly in bio-chemical reaction networks and economic reasoning. I am also interested in the application of data science and machine learning to improve mathematical software.
In the past I also produced research in Integrable Systems, in particular, Abelian Functions.
I have been PI for funded research projects including the EPSRC DEWCAD Project, 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.
I mainly teach on modules in programming and theoretical computer science. From 2017-2019 I was the Course Director for the MSci in Computer Science degree which I developed. I am now the Research Degree Leader for PhD students in our research centre.
Email: Matthew dot England at coventry dot ac dot uk
When I have funded PhD opportunities I advertise them openly on university website and sites like findaphd.com. When I have funded postdoc opportunities I advertise on jobs.ac.uk. If there are no adverts advertised then there are no open positions at the moment.
We also have a number of opportunities for students who have access to their own funding, e.g. from the government or an industrial sponsor. If you have your own funding and what to discuss opportunities please get in touch. Current self funded projects include: Machine Learning to Improve Groebner Basis Construction.
I have been appointed to the ISSAC Steering Committee to represent SIGSAM, for a two year term starting 1st July 2021.
I have been elected to the role of Treasurer of ACM SIGSAM for the term 1 July 2021 – 30 June 2023.
I have been appointed an Associate Editor of the new journal, Maple Transactions which publishes refereed expositions on computer-assisted research in mathematics, applications, and education. The journal is open access but without page fees (it is sponsored by Maplesoft and Western Libraries).
In Jan-May 2021 I will teach the new CU module 6008CEM - Advanced Programming Paradigms covering Functional Programming in Haskell and SAT/SMT Solvers with Z3.
In Jan 2021 the new EPSRC DEWCAD Project officially starts.
As of April 2020 I am the Research Degree Lead for PhD students in Data Science at Coventry University.
As of January 2020 I am a founding member of the new Coventry University Research Centre for Data Science (CDS).
In 2020 I will be PC Chair for CASC 2020 and an invited tutorial speaker at ISSAC 2020. I am also running two special sessions at ICMS 2020 and serving on the PC of SYNASC 2020 and the 2020 Maple Conference.
As of August 2019 I have been promoted to Associate Professor in Computer Science at Coventry University.
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.
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.
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.