Tereso del Río
PhD in Mathematics and AI | Passionate for Optimisation | Love simple, creative and effective solutions
Education
2020-2024 PhD, Coventry University, Computer Science
2019-2020 Master (M.S.), Universidad de Valladolid (Spain), Master's in Mathematical Research (final project)
2018-2019 (Erasmus year) B.S., Dundee University (Scotland), Mathematics
Teaching
-Supervising final projects-
Summer 2022/23 Supervise Master Student working on "Training an agent to play a board game using reinforcement learning"
Spring 2022/23 Supervise Master Student working on "Bank Loan Eligibility prediction with explainability using machine learning approaches"
-Classes-
Spring 2022/23 Support Principles of Data Science (Master in Data Science)
Fall 2022/23 Support Theory of Computation (2nd year Computer Science)
Spring 2021/22 Support Advanced Programming Paradigms (3rd year Computer Science)
Fall 2021/22 Support Theory of Computation (2nd year Computer Science)
Spring 2020/21 Support Programming and Algorithms (1st year Computer Science)
Papers
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD, del Río, T. and England, M. Journal Mathematics in Computer Science https://doi.org/10.1007/s11786-024-00591-0
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition, Pickering, L., del Río, T., England, M. and Cohen, K. Journal of Symbolic Computation, Volume 123, (2024) https://doi.org/10.1016/j.jsc.2023.102276
Data Augmentation for Mathematical Objects, del Río, T. and England, M. Proceedings of the 8th Workshop on Satisfiability Checking and Symbolic Computation SC^2. Editors: Ábrahám, E. and Sturm, T. CEUR Workshop Proceedings 3455, pp. 29-38 (2023)
https://ceur-ws.org/Vol-3455/paper2.pdfNew Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis, del Río, T. and England, M. Computer Algebra in Scientific Computing. Lecture Notes in Computer Science. pp. 300-317 (2022)
https://doi.org/10.1007/978-3-031-14788-3_17
Talks
-Conferences-
November 2024 Bringing Young Mathematicians Together. Title'Optimising Algebraic Algorithms using Artificial Intelligence'.
June 2024 Meetings on Computer Algebra and Applications. Title: 'Using Explainable AI to Extract Insights on Algebraic Procedures: a case study on variable ordering for CAD'.
Feb 2024 Congreso Bienal de la Real Sociedad Matemática Española. Título: 'Optimizando algoritmos algebraicos utilizando IA'.
Biannual Congress of the Mathematical Spanish Society. Title: 'Optimising Algebraic Algorithms using Artificial Intelligence'.Oct 2023 Maple Conference (Online). Title: 'Explainable AI Insights for Symbolic Computation'
Apr 2023 EuroProofNet Workshop on Datasets Generation for Data-Deficient Domains (DG4D^3). Title: 'Data augmentation for Mathematical objects'.
Apr 2023 CSM PGR Conference. Title: 'Data augmentation for Mathematical objects'.
Nov 2022 Maple Conference (Online). Title: 'Techniques to Find Relevant Features for Heuristics'.
Aug 2022 Computer Algebra and Scientific Computing (Gebze Teknik Üniversitesi, Istanbul, Turkey). Title: 'New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis'.
Jun 2022 XVII Meeting on Computer Algebra and Applications. EACA 2022 (Universitat Jaume I, Spain). Title: 'The Benefits of Clustering in Cylindrical Algebraic Decomposition'.
Nov 2021 Maple Conference (Online). Algorithms and Software. Title: 'Comparing the number of real roots in randomly-generated polynomials with respect to real-world polynomials'.
-Seminars-
Feb 2024 Universidad de Zaragoza Postgraduate Seminar. Title: Speeding Up Cylindrical Algebraic Decomposition
July 2023 SC-square Workshop 2023. Title: Augmenting Mathematical Datasets
May 2023 Warwick Mathematics Postgraduate Seminar. Title: Speeding Up Cylindrical Algebraic Decomposition
Feb 2022 New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl, Germany). Title: Using Machine Learning in SC2
-Posters-
Other research outputs
2025 Principal Investigator in a Turing Institute Data Science Study Group leading nine PhD students to find an optimal set of projects to meet the NetZero2050 milestones set by the UK
2023 Led a working group in the Graduate Student Meeting on Applied Algebra and Combinatorics
2023 Led the development of a Macaulay 2 package to build Open sign-invariant CADs
Awards
2024 Second Place in the Top-Level Competition of the Logic and Mathematical UK's National Games
2023 PGR of the Year Award in the Centre for Computational Science and Mathematical Modelling
2023 General Public Winner of the Logic and Mathematical UK's National Games
2022 People's vote Winner of the "Tweet your Thesis" competition in Coventry University
2020 Award of Excellence in Degree for Master's students (poster)
Funding secured
£500 London Mathematical Society to attend ISSAC 2023
£2500 'Try it' Fund Santander universities to develop a software to recommend dart players where to aim.
£2200 Research Excellence grant for International Collaboration with the University of Cincinnati and Berlin Mathematical School.
Languages
★ ★ ★ ★ ★ Python
★ ★ ★ ★ ☆ Maple
★ ★ ★ ☆ ☆ Matlab
★ ★ ☆ ☆ ☆ C
★ ★ ★ ★ ★ Spanish (Native)
★ ★ ★ ★ ☆ English (C1)
★ ☆ ☆ ☆ ☆ Mandarin
Jobs outside academia
Summers 2016-2018 Pub manager and bartender
2018-2019 Deliveroo rider
Passions
Paddle tennis
Hiking and climbing
Machine Learning
汉语