Journal of Logical and Algebraic Methods in Programming (Journal)
Publication peer-review

IEEE Transactions on Services Computing (Journal)
Publication peer-review

IEEE Access (Journal)
Publication peer-review

Journal of Grid Computing (Journal)
Publication peer-review

IEEE/ACM International Conference on Utility and Cloud Computing (Event)
Membership of committee

Sensors (Journal)
Publication peer-review

International Conference on Formal Aspects of Component Software (Event)
Publication peer-review

International Conference on Software Engineering and Formal Methods (Event)
Publication peer-review

PRONABES BEng scholarship
Other distinction

Associate Fellow of Higher Education Academy (AFHEA)
Election to learned society

Complementary PhD scholarship
Other distinction

Complementary PhD scholarship
Other distinction

PhD Research Fellowship from the National Council of Science and Technology (CONACYT)
Other distinction

MSc Research Fellowship from the National Council of Science and Technology (CONACYT)
Other distinction

Nick Sanders Kickstarter Fund
Other distinction

Prize for the Carole Goble medal for outstanding doctoral paper in Computer Science
Prize (including medals and awards)

Second prize in the UMIP Next Big Thing competition
Prize (including medals and awards)

Best paper award at the International Conference on Internet of Things (ICIOT 2018)
Prize (including medals and awards)

Second prize for the best MSc thesis in Artificial Intelligence
Prize (including medals and awards)

Honourable Mention for the Most Outstanding Mexican Student in STEM in the UK
Prize (including medals and awards)

Fellow of Higher Education Academy (FHEA)
Election to learned society

Fellow of the Higher Education Academy (FHEA)
Election to learned society

• Lancaster Intelligent, Robotic and Autonomous Systems Centre
• LIRA - Fundamentals