Education
Oct. 2018 Habilitation to direct research (HDR). Software Product Lines, from Reuse to Self-Adaptive Systems. Université Paris 1 Panthéon - Sorbonne, France.
2008–2011 Ph.D. in Computer Science with highest honors (“félicitations du jury”), A generic approach for automated verification of product line models. Université Panthéon-Sorbonne, Paris, France
2006–2008 M.Sc. Information Systems with honors (second-best graduating student), Université Panthéon-Sorbonne, Paris, France.
2000–2005 Engineering diploma in Computer Science with high honors (best graduating student of the Engineering Faculty), Universidad de Antioquia, Medellin, Colombia.
Research
Raúl Mazo's research and teaching topics are around (i) the industrialisation of software production and (ii) the application of of artificial intelligence, optimisation (by exact and approximate methods), software engineering and control techniques to improve the design, simulation and implementation of cyber-physical, self-adaptive and software-intensive systems.
The research program developed by Raúl Mazo is fruitful and promising. It has gained great confidence and credibility (which explains the trust of important French, Mediterranean, Latin American, and European programs, such as ANR, PHC UTIQUE, Colciencias, H2020, and ITEA, to finance his work). His research includes more than 170 scientific contributions, characterized by their innovative appeal, rigorous solutions, the performance of the software he developed to support the proposed approaches (he is the leader of the VariaMos software tool), and the breadth of his research activities.
Since 2015, Dr. Mazo has been an expert of the French Ministry of Higher Education and Scientific Research to evaluate industrial projects (Expert agréé CIR pour l'évaluation de projets auprès du Ministère de l'Enseignement Supérieur et de la Recherche).
Dr. Mazo’s awards and honors include:
"Star-Seeding Engineer" Distinction, awarded during the 50th Anniversary celebration of the Systems Engineering program at the University of Antioquia, November 27, 2025./2025: Distinción "Ingeniero Sembrador de Estrellas", otorgada en el marco de la conmemoración del 50.º Aniversario del programa de Ingeniería de Sistemas de la Universidad de Antioquia, el 27 de noviembre de 2025.
Best Application Paper Award of the IEEE International Conference On Artificial Intelligence Testing (AITest 2023) for the paper "Robustness Testing of an Industrial Road Object Detection System".
Best Paper award of the 12th IEEE International Conference on Research Challenges in Information Science (RCIS 2018) for the paper "APPLIES: a framework for evaluAting organization’s motivation and Preparation for adoPting product LInEs"
Best Paper Award in the conference “Jornadas de Ingeniería de Sistemas Informáticos y de Computación” (JISIC 2014) for the paper “Using Software Product Line to improve ERP Engineering: literature review and analysis.”
Best Paper Award in the International conference on Complex Systems Design & Management (CSD&M 2013) for the paper “Capturing Variability in Model-based Systems Engineering Process”.
70 years of the Engineering Faculty award, for outstanding graduate of the Computer and Systems Engineering Program of the University of Antioquia, in 2013
Summa Cum Laude (Mention très honorable) on PhD, in 2011.
Best Paper Award in the 35rd Annual International Computer Software and Applications Conference (COMPSAC 2011) for the paper “Conformance Checking with Constraint Logic Programming: The Case of Feature Models”
Best Paper Award in 5th IEEE International Conference on Research Challenges in Information Science (RCIS 2011) for the paper “Constraints: the Core of Product Line Engineering”
Order of merit of Carolina del Principe as Distinguished Citizen, in 2008
Award to the best graduated student in 2005 of the University of Antioquia's Engineering Faculty, in 2005
Award to the best graduated student of the secondary school "Presbitero Julio Tamayo", in 1999
Award "Andrés Bello" to the best ICFES examen (Colombian test at the end of the secondary school) in the North region of Antioquia, in 1999