Pablo Gómez-Abajo is an Associate Professor (Profesor Permanente Laboral) in the Department of Computer Science at the Universidad Autónoma de Madrid (UAM).

He earned his degree in Computer Science and Engineering from UAM in 2006 and worked from 2008 to 2015 as IT Manager at Ingeniería y Prevención de Riesgos. In this role, he led the development of software solutions for professionals across several engineering disciplines, including civil engineering, mechanical engineering, and health and safety risk prevention. This experience strengthened his ability to understand domain-specific requirements and design accessible, practical solutions.

In 2015, he joined the Modelling and Software Engineering Research Group. His master’s thesis, devoted to the automated generation of educational exercises through model mutation, received a special distinction in 2016. In 2020, he completed his PhD dissertation on a domain-specific language for model mutation, earning the highest distinction of excellent cum laude.

Alongside his formal degrees, he has pursued extensive continuing education in mathematical thinking, algorithms, optimization, automated software testing, software design, compilers, automata theory, deep learning, process mining, scientific writing, generative AI, and university teaching. This training has included courses and programs offered by institutions such as Stanford University, EPFL, Delft University of Technology, the University of Minnesota, the University of Alberta, IBM, and the Université de Genève.

His principal research achievement is Wodel, a domain-independent language and technological ecosystem for model mutation. This work has led to Wodel-Test, for generating language-independent mutation-testing tools, and Wodel-EDU, for automatically generating and assessing diagram-based exercises. Wodel-EDU received the Best Tool Demo Award at MoDELS 2021, and its educational applications have been published in journals including Computer Applications in Engineering Education. His research also includes Gotten, a model-driven framework for engineering domain-specific metamorphic-testing environments.

Since 2019, he has taught software engineering, software testing, compilers, automata theory, operating systems, and computer networks at UAM. He has also supervised several bachelor’s and master’s capstone projects.

Further information is available through his Google Scholar profile and GitHub repositories.

Download my résumé .