Matthew England

Research

Active research interests:

- Computer Algebra / Symbolic Computation: In particular, Cylindrical algebraic decompositions and connectivity.
- Integrable Systems / Mathematical Physics: In particular, Abelian functions associated with algebraic curves.

Publication record:

For a list and links to publications and preprints see Publications.

Conference presentations:

For a list and links to presentation material Conferences.

Research Supervision:

Postdoctoral Research Associates:
- Michael Ajao-olarinoye (HOPE-MOVE Project 2025-2026).
- AmirHosein Sadeghi Manesh (EPSRC DEWCAD Project 2021-2025); went on to Assistant Professor at Coventry.
- Dorian Florescu (EPSRC ML4QE Project 2018-2020); went on to be Lecturer at University of Bath.

PhD Students Completed as Main Supervisor:
- • Colin Stephen - Discrete merge trees, horizon visibility graphs, and topological divergences: Topology-based representations for nonlinear time series analysis (Thesis)
- • Tereso del Rio - Heuristics and Machine Learning to Improve Symbolic Computation Algorithms: Speeding Up Cylindrical Algebraic Decomposition (Thesis; ACM CCA Abstract)
- • Abiola Babatunde - Introducing and Analysing the Set Covering Problem with Reasons. Thesis to appear online soon.
- • Rashid Barket - Deep Learning Algorithm Selection for Symbolic Integration. Thesis to appear online soon.
PhD Students Completed as Supervisory Team Member:
- • Abdulaziz Alayba - Twitter sentiment analysis on health services in Arabic (Thesis)
- • Sumukh Deshpande - A new computational framework for the classification and function prediction of long non-coding RNAs (Thesis)
- • Shenal Rajintha Alexander Samarathunge Gunawardena - A Nonlinear Manifold Learning & Dynamical System Approach in Characterising Alzheimer’s Disease (Thesis)

Grants and Funding
- Innovate-UK Project HOPE-MOVE: Help Overcome Problems Effectively – MOVement and hEalthy lifestyle. Project co-I; Coventry University PI (2025-2026).
- British Council Women in STEM Scholarships; South East Asia; MRes; co-I; (2024-2025). Press Release Nov 2024.
- British Council Women in STEM Scholarships; South East Asia; MRes; co-I; (2023-2024). Press Release Feb 2023.
- EPSRC Project EP/T015748/1, Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition. EPSRC Standard Grant Scheme; PI; (2021-2025)
- EPSRC Project EP/R019622/1, Embedding Machine Learning within Quantifier Elimination Procedures. EPSRC First Grant Scheme; PI; (2018-2019)
- EU Horizon 2020 Future Emerging Technologies Coordination and Support Action (H2020 FET CSA): Project SC² (number 712689). Project co-I; Coventry University PI; (2016-2018).
- Grant from University of Bath's Impact Acceleration Account to provide extra funding for EPSRC project EP/J003247/1; co-I; (2014).
- Grant from the IMA to support attendance at SIAM AG13 (2013).
- Grant from the GMJ and another from the LMS to support an international conference in Glasgow (2012).
- Two grants from the GMJ to run workshops in Glasgow (2011 and 2012).
Professional Memberships
- Senior Fellow of the Higher Education Academy since 2019 (Fellow from 2012-2019).
- Fellow of the Institute of Mathematics and its Applications (IMA).
- Professional Member of the Association for Computing Machinery (ACM).
- Member of the ACM Special Interest Group in Symbolic and Algebraic Manipulation (SIGSAM).
Symbolic Computation
- Extensive experience with Maple throughout research career.
- Author of the ProjectionCAD Package for Maple
- Experience parallel programming with Distributed Maple.

Employment History

Coventry University: April 2015 - Present Day

Job Titles:
Jan 2025 - Present Day: Professor in Computer Science (Grade 10)
August 2019 - Jan 2025: Associate Professor in Computer Science (Grade 9)
August 2017 - July 2019: Senior Lecturer (Assistant Professor) in Computer Science (Grade 8)
April 2015 - July 2017: Lecturer in Computer Science (Grade 7)
University of Bath: April 2012 - March 2015

Job Title: Research Officer
In: The Department of Computer Science at the University of Bath.
Research Officer for the ERSRC project Real Geometry and Connectedness via Triangular Description .
Responsible for driving research, writing publications, presenting results, implementing algorithms in Maple.
For details on research see CAD and connectedness.
The project involves collaboration with Western University, Canada, specifically the ORCCA and with Waterloo Maplesoft, the developers of Maple.
University of Glasgow: Jan 2010 - April 2012

Job Title: Temporary Lecturer in Mathematics
In: The School of Mathematics and Statistics at the University of Glasgow.
Active member of the Integrable Systems and Mathematical Physics (ISMP) research group.
Taught a wide variety of courses; mathematics and engineering, undergraduate and postgraduate.
Researched the construction of Abelian Functions with determined singularity structure with Chris Athorne.
Organised the ISMP internal seminar series, two workshops and assited with the organisation of international conference.

Academic Service

External Committees

I was elected to the role of Treasurer of the ACM Special Interest Group in Symbolic and Algebraic Manipulation (ACM SIGSAM) for an initial term 1 July 2021 – 30 June 2023, and then reelected for the term 1 July 2023 - 30 June 2025.

From January 2015 - June 2021 I was the Information Director for SIGSAM. Inititives during my time as Information Director include: a complete redesign of the website to make it responsive (adapt to screen size); updating content of the website to include database of computer algebra conference series; and introducing a SIGSAM twitter account.

I was appointed to the ISSAC Steering Committee to represent SIGSAM for a three year term: July 2021-2024.

Examiner Roles

Starting September 2023, I am the External Examiner for the MSc Data Analytics and MSc Data Science courses at Aston University.

I have served as examiner for the following PGR vivas: Daniel Bammeke (2023), Isna Ahsan (2024), Hollie Baker (2024), James Donnelly (2024), Michael Ajao-Olarinoye (2025).

Editorial Roles

As of March 2024 I have been appointed to the Editorial Board of Springer journal, Mathematics in Computer Science.

I have been on the Editorial Board of Maple Transactions since it was founded in 2021. I became a Senior Editor in 2026.

Special Issues Edited

Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2022), on Computer Algebra in Scientific Computing (MCS vol. 17 issue 3).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/17-3

Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2021), on Computer Algebra in Scientific Computing (MCS vol. 16 issue 2).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/16-2

Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2020), on Computer Algebra in Scientific Computing (MCS vol. 15 issue 3).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/15-3

Editor for special issue of the Springer Journal, Mathematics in Computer Science (selected papers from CASC 2019), on Computer Algebra in Scientific Computing (MCS vol. 15 issue 2).
Issue URL: https://link.springer.com/journal/11786/volumes-and-issues/15-2

Editor for special issue of the Elsevier Journal of Symbolic Computation on Symbolic Computation and Satisfiability Checking (JSC vol. 100).
Issue URL: https://www.sciencedirect.com/journal/journal-of-symbolic-computation/vol/100

Conferences

Chair Positions
- August 2023: International Worshop on Computer Algebra in Scientific Computing (CASC) (Havana, Cuba).
  Conference Website. PC Chair.
- August 2022: International Worshop on Computer Algebra in Scientific Computing (CASC) (Gebze-Istanbul, Turkey).
  Conference Website. PC Chair.
- September 2021: International Worshop on Computer Algebra in Scientific Computing (CASC) (Sochi, Russia).
  Conference Website. PC Chair.
- September 2020: International Worshop on Computer Algebra in Scientific Computing (CASC) (Linz, Austria).
  Conference Website. PC Chair.
- July 2020: International Congress on MathematicalSoftware (ICMS) (Braunschweig, Germany). Conference Website.
  Artificial Intellegence and Mathematical Software Session Chair and Real Algebraic Geometry Session co-Chair.
- November 2019: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Gebze-Istanbul, Turkey).
  Conference Website. co-Chair of Software and Tools Track.
- August 2019: International Worshop on Computer Algebra in Scientific Computing (CASC) (Moscow, Russia).
  Conference Website. co-PC Chair.
- July 2018: International Congress on MathematicalSoftware (ICMS) (South Bend, IN, USA). Conference Website.
  Machine Learning Session Chair and SC-Square Session co-Chair.
- November 2017: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Vienna, Austria). Conference Website.
  Track 1 co-Chair.
- July 2017: Conferences on Intelligent Computer Mathematics (CICM) (Edinburgh, UK). Conference Website.
  Calculemus Track Chair.
- July 2017: Second International Workshop on Satisfiability Checking and Symbolic Computation (SC²) (Kaiserslautern, Germany). Conference Website.
  General co-Chair.
PC Membership
- July 2025: Tenth International Workshop on Satisfiability Checking and Symbolic Computation (SC² 2025) (Stuttgart, Germany). Workshop Website
- July 2024: International Congress on Mathematical Software (ICMS '24) (Durham, UK). Conference Website.
- July 2024: International Symposium on Symbolic and Algebraic Computation (ISSAC '24) (Raleigh, NC, USA). Conference Website.
- July 2024: Ninth International Workshop on Satisfiability Checking and Symbolic Computation (SC² 2024) (Nancy, France). Workshop Website
- July 2023: Eighth International Workshop on Satisfiability Checking and Symbolic Computation (SC² 2023) (Tromso, Norway). Conference Website
- Aug 2022: International Workshop on Computer Algebra in Scientific Computing (CASC) (Gebze-Istanbul, Turkey). Conference Website.
- Aug 2022: Seventh International Workshop on Satisfiability Checking and Symbolic Computation (SC² 2022) (Haifa, Israel). Conference Website
- Nov 2021: 2021 Maple Conference (online). Conference Website.
- Sep 2021: International Workshop on Computer Algebra in Scientific Computing (CASC) (Sochi, Russia). Conference Website.
- Nov 2020: 2020 Maple Conference (online). Conference Website.
- Jul 2020: Fifth International Workshop on Satisfiability Checking and Symbolic Computation (SC² '20') (Paris, France). Conference Website
- Sep 2020: International Workshop on Computer Algebra in Scientific Computing (CASC) (Linz, Austria). Conference Website.
- Sep 2020: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania). Conference Website. PC Member for the Symbolic Computation Track.
- Nov 2020: The 2020 Maple Conference (Online). Conference Website.
- Jul 2019: Fourth International Workshop on Satisfiability Checking and Symbolic Computation (SC² '19') (Bern, Switzerland). Conference Website.
- Aug 2019: International Workshop on Computer Algebra in Scientific Computing (CASC) (Moscow, Russia). Conference Website.
- Sep 2019: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania). Conference Website. PC Member for the Symbolic Computation Track.
- Jun 2018: Third International Workshop on Satisfiability Checking and Symbolic Computation (SC² '18') (Oxford, UK). Conference Website.
- July 2018: International Congress on MathematicalSoftware (ICMS) (South Bend, IN, USA). Conference Website.
- Jul 2018: International Symposium on Symbolic and Algebraic Computation (ISSAC '18) (New York City, USA). Conference Website.
- Aug 2018: Conferences on Intelligent Computer Mathematics (CICM '18) (RISC, Hagenburg, Austria). Conference Website.
- Sep 2018: International Conference on Artificial Intelligence and Symbolic Computation (AISC '18) (Suzhou, China). Conference Website.
- Sep 2018: International Workshop on Computer Algebra in Scientific Computing (CASC) (Lille, France). Conference Website.
- Sep 2018: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania). Conference Website. PC Member for the Symbolic Computation Track.
- November 2017: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Vienna, Austria). Conference Website.
  Track 1 co-Chair.
- Jul 2017: Conferences on Intelligent Computer Mathematics (CICM) (Edinburgh, UK). Conference Website.
- Jul 2017: Second International Workshop on Satisfiability Checking and Symbolic Computation (SC²) (Kaiserslautern, Germany). Conference Website.
- Sep 2017: International Workshop on Computer Algebra in Scientific Computing (CASC) (Beijing, China). Conference Website.
- Sep 2017: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania). Conference Website. PC Member for the Symbolic Computation Track.
- Nov 2017: International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (Vienna, Austria). Conference Website.
- Sep 2016: First International Workshop on Satisfiability Checking and Symbolic Computation (SC²) (Timisoara, Romania). Conference Website.
- Sep 2016: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania). Conference Website. PC Member for the Symbolic Computation Track.
- Sep2016: International Workshop on Computer Algebra in Scientific Computing (CASC) (Bucharest, Romania). Conference Website.
- Mar 2016: Symposium on Symbolic Computation in Software Science (SCSS) (Tokyo, Japan). Conference Website.
- Sep 2015: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (Timisoara, Romania). Conference Website. PC Member for the Symbolic Computation Track.
- Jul 2015: Conferences on Intelligent Computer Mathematics (CICM) (Washington DC, USA). Conference Website. PC Member for the Systems and Data Track.
- Jul 2014: Conferences on Intelligent Computer Mathematics (CICM) (Coimbra, Portugal). Conference Website. PC Member for the Calculemus Track and editor of the Joint Workshop Proceedings.
Organisational Roles
- February 2022: Dagstuhl Seminar 22072: New Perspectives in Symbolic Computation and Satisfiability Checking.
  Seminar Website.
  Seminar Organiser and editor of the accompanying Dagstuhl Report.
- July 2019: International Symposium on Symbolic and Algebraic Computation (ISSAC) (Beijing, China).
  Conference Website.
  Publicity Chair.
- April 2017: East Coast Computer Algebra Day (ECCAD) (Champaign, Illinois, USA).
  Conference Website.
  Publicity Chair.
- July 2015: International Workshop on Parallel Symbolic Computation (PASCO) (Bath, UK).
  Conference Website.
  Local Organiser.
- July 2015: International Symposium on Symbolic and Algebraic Computation (ISSAC) (Bath, UK).
  Conference Website.
  Local Organiser, Webmaster and Exhibitors Chair.
- July 2013: Conferences on Intelligent Computer Mathematics (CICM) (Bath, UK).
  Conference Website.
  Local Organiser.
- March 2012: Workshop: Matrix models, tau-functions and geometry (Glasgow, UK).
  Conference Website.
  Main Organiser.
- July 2011: Tropical Geometry and Integrable Systems, (Glasgow, UK).
  Conference Website.
  Local Organiser.
- April 2011: Workshop: Abelian Functions and equations of hydrodynamic type (Glasgow, UK).
  Conference Website.
  Main Organiser.

Peer Review Summary

Journals: Applicable Algebra in Engineering, Communication and Computing (AAECC) ; Bioinformatics Advances; Bulletin of the London Mathematical Society; Involve, a Journal of Mathematics; Journal of Symbolic Computation; Mathematics in Computer Science; Letters in Mathematical Physics; SIGMA; IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Conferences: Computer Algebra in Scientific Computing (CASC); Conferences in Intelligent Computer Mathematics (CICM); International Symposium on Symbolic and Algebraic Computation (ISSAC). Symposium on Symbolic Computation in Software Science (SCSS); International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)

Funders: EPSRC (UK); NSERC (Canada); HESC (Armenia).

6008CEM - Advanced Programming Paradigms: Module Leader 2020- for this new UG Year 3 Computer Science module. Covering Functional Programming in Haskell, Logic Programming in Prolog, and Constraint Programming with SAT/SMT solver Z3.

4000CEM - Programming and Algorithms: Module Leader 2018-2021 for this new UG Year 1 Computer Science module. Introduces basic programming in Python, professional practices (code testing, version control etc) and some basic algorithmic theory (e.g. pseudocode, Big-O analysis).

380CT - Theoretical Aspects of Computer Science: Teacher 2015-2019 for this UG Year 3 module for Computer Science undergraduates. Includes computation theory (automata, Turing machinesetc.); complexity theory (P, NP etc); and heuristic algorithms for NP problems (e.g. greedy methods, genetic algorithms, simulated annealing).

121COM - Introduction to Computing: Module Leader 2015-2018 for this UG Year 1 module, mandatory for students on all computing based degree courses. Introduces basic programming in Python and professional practices (code testing, version control etc).

122COM - Introduction to Algorithms: Teacher 2015-2017. Introduces algorithms (e.g. search, sort), databases, GUIs and programming in C++.

I also supervise final year projects for both Mathematics and Computer Science students.

CM10227 - Principles of Programming 1: Stage 1 module for Computer Science undergraduates. Taught in Python and Java.
XX10190 - Programming and Discrete Mathematics: Stage 1 module for Mathematics undergraduates. Mixture of programming in Matlab; proof techniques, and mathematical analysis of algorithms.
CM30070 - Computer Algebra: Stage 3 module open to Computer Science and Mathematics undergraduates. Studies topics of symbolic computation both theoretically and via programming in Maple.

Module Leader (2011-12): 2B - Linear Algebra. Second year mathematics.
Module Leader (2010-11): 2D - Linear Algebra and Calculus. Second year mathematics.
Module Leader (2010-11): 3H - Mathematical Methods 1. Third year honours mathematics.
Module Leader (2009-11): 3S - Differetial Equations. Third year non-honours mathematics.
Lecturer (2009-12): Asymptotic Methods for Differential Equations. Masters level mathematics.
Lecturer (2011-12): 1E1 - Calculus 1. First year engineering.
Supervised Carnegie Trust Undergraduate Vacation Scholar (Lachlan Walker).

Leadership Roles

From 2022 onwards I am the Deputy Director of the Research Centre for Computational Science and Mathematical Modelling.

From 2020-2022 I was the Postgraduate Research Degree Lead for PhD students in the Research Centre for Computational Science and Mathematical Modelling.

From 2020 onwards I have led the Fundamental Algorithms for Artificial Intellegence research theme in Coventry University.

2017-2020 I was the Course Director for Coventry University's MSci Computer Science degree. This is an undergraduate degree with integrated masters year. I thus work closely with the Course Director of the BSc Computer Science with which we share 3 years of study. We completley redesigned these two degrees for the start of academic year 2018/19. See the new programme specification for details.

Education

PGCert Academic Practice: 2010-2012

University of Glasgow.
Two year part time course for new lecturers at the University of Glasgow. Led to accreditation as Fellow of the HEA.
Ph.D. Mathematics: 2006-2009

Department of Mathematics at Heriot Watt University. Supervisor: Professor Chris Eilbeck.
Thesis title: Higher genus Abelian functions associated with algebraic curves.
Pdf of final version of thesis available here.
Fully funded by the EPSRC.
M.Sc. Applied Mathematical Sciences: Distinction (2005-2006)

Department of Mathematics at Heriot Watt University.
Course webpage.
Project Supervisor: Prof. Mark Lawson.
Project title: Elliptic Curve Cryptography.
Pdf of final version of dissertation available here.
Fully funded by the EPSRC.
B.Sc. Mathematics with Economics: First Class Honours (2002-2005)

Department of Mathematics at Royal Holloway University of London.
2005: Awarded associate membership of The Institute of Mathematics and its Applications in 2005 for "outstanding performance in the final year of my degree".
2005: Awarded the RHUL Thewlis / Wilks prize as top 3rd year mathematics student.
2004: Awarded the RHUL Bailey Prize as top 2nd year mathematics student.

Click here for a pdf CV.

Research

Active research interests:

Publication record:

Conference presentations:

Research Supervision:

Grants and Funding

Professional Memberships

Symbolic Computation

Employment History

Coventry University: April 2015 - Present Day

University of Bath: April 2012 - March 2015

University of Glasgow: Jan 2010 - April 2012

Academic Service

External Committees

Examiner Roles

Editorial Roles

Special Issues Edited

Conferences

Chair Positions

PC Membership

Organisational Roles

Peer Review Summary

Teaching

Leadership Roles

Education

PGCert Academic Practice: 2010-2012

Ph.D. Mathematics: 2006-2009

M.Sc. Applied Mathematical Sciences: Distinction (2005-2006)

B.Sc. Mathematics with Economics: First Class Honours (2002-2005)