I am a Professor of 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 (CSMM) where I serve as Director. I also teach students in the School of Science.

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 SC², 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. From 2020-2022 I was the Research Degree Leader for PhD students in our research centre.

Email: Matthew dot England at coventry dot ac dot uk

PhD / PostDocs

Current Post Docs

Michael Ajao-olarinoye (HOPE-MOVE Project 2025-2026).

Current PhD Students

Daniel Flood: Measuring, Understanding and Improving Engagement in Programming Teaching
Iqra Jillani: Curbing Poverty through Sustainable Energy: Smart Communities Transitions
Ahsan Mohamed Mafaz: Embedded System Design for Automated Pandemic Response Tools
Arezoo Mousavi: Knowledge Guided Machine Learning
David Oyebisi: Opportunities and Challenges of Generative AI in Higher Education: A Case Study of Teaching, Learning and Assessment Practices in the United Kingdom
Uzma Shafiq: Explainable AI for Computational Algebra

Previous Students and Postdocs

Dr Dorian Florescu: PDRA on the ML4QE Project. Went on to PDRA at Imperial College London; now Lecturer at U. Bath.
Dr Amirhossein Sadeghi Manesh: PDRA on the DEWCAD Project. Went on to Assistant Professorship at C. University.
Dr Tereso Del Rio Almajano: PhD Student - graduated 2024. Went on to PDRA at RISC, U. Linz, Austria.
Dr Colin Stephen: PhD Student - graduated 2024. Went on to work for UK Civil Service.
Dr Abiola Babatunde PhD student - graduated 2026. Went on to teach Computer Science.
Dr Rashid Barket: PhD Student - graduated 2026. Went on to work in industry in AI research role.

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 want to discuss opportunities please get in touch.

News

2027

I am on the Programme Committee for Computing Education Practice (CEP 2027) taking place in Durham, UK in January 2027.

2026

In September 2026 we are hosting the 25th UK Workshop on Computational Intelligence in Coventry. I am one of the Programme Chairs for the conference.

In August 2026 I became a Senior Editor at the Maple Transactions journal.

In July 2026 my PhD students Rashid Barket and Abiola Babatunde graduated. Abiola's thesis was titled, Introducing and Analysing the Set Covering Problem with Reasons and Rashid's was titled Deep Learning Algorithm Selection for Symbolic Integration.

In 2026 I am a PC member of the first International Conference on Symbolic Computation and Machine Learning (SCML), taking place at RISC, Hagenberg, Austria in July 2026.
I am also on the PC for the 28th International Workshop on Computer Algebra in Scientific Computation taking place in Bath, UK in September 2026.

In 2026 I will give invited talks at Wits University, South Africa and the University of Kent, UK.

In February 2026, Coventry University was one of a handful of UK universities to be featured in the AI Summit in India. We produced many videos of our AI related research: my own video is here, while the video of my PhD student Rashid Barket is here.

In 2026 I am an investigator on the HOPE-MOVE Project funded by Innovate-UK and led by Hope 4 the Community CIC. The project is funded new PDRA Michael Ajao-olarinoye .

2025

As of January 2025 I have been promoted to (full) Professor of Computer Science at Coventry University. I also took over sole Directorship of the Coventry University Research Centre for Computational Science and Mathematical Modelling.

In 2025 I was invited to give a course in the Thematic Seminar on Symbolic Computation, at Shenzhen, China. Meeting website.

2024

In November 2024 my PhD student Colin Stephen graduated with a thesis titled, Discrete merge trees, horizon visibility graphs, and topological divergences

In July 2024 my PhD student Tereso del Rio graduated with a thesis titled Heuristics and Machine Learning to Improve Symbolic Computation Algorithms: Speeding Up Cylindrical Algebraic Decomposition (thesis).

In 2024 I am a member of the ISSAC 2024 Program Committee, the ICMS 2024 Program Committee, and the SC-Square 2024 Program Committee.
I am organising a session in the ICMS 2024 conference, on Machine Learning within Computer Algebra Systems to which we invite contributions!
I am an invited speaker at CASC 2024.

In March 2024 I was appointed to the editorial board of Springer journal, Mathematics in Computer Science.

2023

As of January 2023 I have been appointed the co-Director of the Coventry University Research Centre for Computational Science and Mathematical Modelling.

In 2023 I will be PC Chair for CASC 2023. I am also on the PC of the SC-Square Workshop.

Starting 2023 I am the External Examiner for the MSc Data Analytics course at Aston University.

2022

As of February 2022 I have been made the Deputy Director of the Coventry University Research Centre for Computational Science and Mathematical Modelling.

In 2022 I will be PC Chair for CASC 2022. I am also on the PC of the SC-Square Workshop; and I am one of the organisers of Dagstuhl Seminar 22072: New Perspectives in Symbolic Computation and Satisfiability Checking.

2021

I have been appointed to the ISSAC Steering Committee to represent SIGSAM, for a three 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 SC² 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:

• - A postdoc job opportunity - applications closed.
• - A fully funded PhD studentship - applications closed.

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), SC² 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 SC² 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.