Tereso del Río Almajano

Doing research

[Doctoral College & Centre for Research Cap & Dev @CU_ReCap]

2/2 @CovUni_CSM's @TeresoDelRio and @DominikKlepl received the award for Best Reviewers; Ahsan Mohamed Mafaz received the award for Best Dressed!

#CovUniPGRCelebration

[Computational Science & Mathematical Modelling CSM @CovUni_CSM]

🎉Great News! Dr @matt_1845 & PGR @TeresoDelRio
from CSM presented their poster on "Clustering in the Lazard Method for Cylindrical Algebraic Decomposition," co-authored with Post doc Amirhossein Sadeghi Manesh. The poster created by Tereso won the ISSAC 2023 Poster award!📷 👏

[Computational Science & Mathematical Modelling CSM @CovUni_CSM]

Our research creates fundamental advances in Computational Science, including Artificial Intelligence, Data Science, and Mathematical Modelling.

Learn more about our centre here ➡️ https://t.co/7auCEKb0u7

@CovUniResearch

[Doctoral College & Centre for Research Cap & Dev @CU_ReCap]

Our #CovUniTBC recruits wanted to capture the experience of hybrid #ThesisBootCamp with @UA_DTA & @covcampus PGRs (A couple of PGRs not pictured but their efforts are not forgotten!) 👏✍️

Last day & smiles all round? Can only be a positive🙂

Can't wait for the next one 🫡🧐

[Doctoral College & Centre for Research Cap & Dev @CU_ReCap]

This year's People's Vote winner for the 2022 Tweet Your Thesis #CovUniThesis #TweetYourThesis competition is @TeresoDelRio. Well done! 😀👏

[Doctoral College & Centre for Research Cap & Dev @CU_ReCap]

#TweetYourThesis People's Choice Vote: https://t.co/d9exrLgUCj (Only open to staff & PGRs @covcampus)

Search: #CovUniThesis
@BeFwitter
@_sarah_west_
@higo_anna
@TeresoDelRio
@RachelHeeley
@GailLWesterman
@HeeringTheresa
@EIlieCook
@Ciptowardoyo7
@kirstyharrod

[Tereso del Río Almajano @TeresoDelRio]

@CU_ReCap (3/3) Nevertheless, Machine Learning has outperformed human expertise in every imaginable field.
My PhD consists in training Machine Learning models to make these choices better, allowing us to solve more problems in a reasonable time. #CovUniThesis
@CU_ReCap

[Tereso del Río Almajano @TeresoDelRio]

1/3 "Machine Learning in CAD"
CAD algorithm solves any problem described by polynomials. That's a lot of problems!!
But its cost grows doubly exponentially.
Covid exponential growth(left) was scary but his cousin doubly exponential(right) is scarier.😰#CovUniThesis @CU_ReCap

[Tereso del Río Almajano @TeresoDelRio]

@CU_ReCap 2/3 However, choices (roads in the image) can be made when running the algorithm.
All choices will give a correct answer, but they have a huge effect on the time needed to get the answer.
That's why choices are made following the guidelines of the experts.#CovUniThesis @CU_ReCap

[Tereso del Río Almajano @TeresoDelRio]

(2/2) I would like to thank the organizers and the volunteers of the SCALE event for making my stay super enjoyable! Tesekkürler!

[Tereso del Río Almajano @TeresoDelRio]

(1/2) In August 2022 I presented a "New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis" in the "Computer Algebra in Scientific Computing" conference at Istanbul. #CovUniPGRsOnTour

[Tereso del Río Almajano @TeresoDelRio]

At the Maple Conference 2021 that was held online in November, I submitted a recorded presentation about "Comparing the number of real roots in real-world polynomials and randomly-generated polynomials". #CovUniPGRsOnTour

[Tereso del Río Almajano @TeresoDelRio]

(2/2) I want to thank and congratulate the organizing committee for putting together such an amazing conference, offering me accommodation and giving me the opportunity to attend my first in-person conference. My abstract can be found at https://t.co/YCgAJmJh5m.

[Tereso del Río Almajano @TeresoDelRio]

(1/2) In June 2022 I attended the EACA conference in Castellón, Spain. The environment was unbeatable and it was great to meet people working on Computer Algebra in my home country. I presented "The Benefits of Clustering in Cylindrical Algebraic Decomposition". #CovUniPGRsOnTour

[Tereso del Río Almajano @TeresoDelRio]

(2/2) Special thanks to Erika Abraham, James H. Davenport, Matthew England and
Alberto Griggio for organizing the "New Perspectives in Symbolic Computation and
Satisfiability Checking" seminar and giving me the opportunity to participate. https://t.co/eBD5WYoHUZ

[Tereso del Río Almajano @TeresoDelRio]

(1/2) In February 2022, during a seminar in Dagstuhl, I had the opportunity to meet, spend time and work with the main researchers in my field, including Erika Ábrahám and Chris Brown among others. I also gave a short talk on "Using Machine Learning in SC²". #CovUniPGRsOnTour