Home

Dr Matthew England

Associate Professor of Computer Science

Coventry University

Research Centre for Computational Science and Mathematical Modelling (CSM)

School of Computing, Electronics and Mathematics (CEM)
Faculty of Engineering, Environment and Computing (EEC)

Dr. Matthew England




Advert: Funded PhD Opportunity!

Machine Learning Technology to Improve Symbolic Integration and Simplification in a Leading Computer Algebra System.



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

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.

My ORCID ID is: 0000-0001-5729-3420. You could also see my Coventry University Pure Portal Entry.

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



PhD Opportunities

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.



News

2021

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.

In 2021 I will be PC Chair for CASC 2021, and an invited speaker at the SC-Square Session of SIAM AG21. I am also serving on the PC of the 2021 Maple Conference.

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.

2020

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.

2019

As of August 2019 I have been promoted to Associate Professor in Computer Science at Coventry University.

In 2019 I will be co-PC Chair for CASC 2019; and co-Chair of the Tools and Software Track for MACIS 2019. I am also serving on the PCs for SC2 2019, and SYNASC 2019 (Symbolic Computation Track).

2018

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.

2017

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.

2016

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

2015

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.