Research interests

Currently, my research interests include:

  • Formal modelling of cloud computing systems.
  • Analysis and optimization of energy consumption in cloud systems.
  • Metamorphic testing techniques for checking the correctness of cloud systems.
  • Mutation testing.
  • Performance testing of HPC systems.
  • Analysis and modelling of energy-aware distributed systems.
  • Modelling and simulation of HPC systems and applications.


You can find a complete list of my publications here. Also, the DBLP list containing most of my publications can be found here.

Principal Investigator in research projects

  • 2020-2022: Desarrollo de técnicas y metodologías flexibles para la optimización de sistemas cloud

Collaborator in research projects

  • 2019-2021: Modelado formal y métodos avanzados de testing. Aplicaciones a medicina y sistemas computacionales (FAME)
  • 2019-2022: FORmal models and Technologies for Emerging applications (FORTE-CM)
  • 2016-2018: Desarrollo y Análisis formal de sistemas complejos en contextos DistribuidOS: fundamentos, herramientas y aplicaciones (DArDOS)
  • 2014-2016: Desarrollo de sistemas confiables mediante modelos y herramientas avanzadas (SICOMORo-CM)
  • 2013-2015: Especificación y Testing de Sistemas Altamente Distribuidos (ESTUDIO)
  • 2011-2012: Advanced methodologies and tools for testing and services (TESIS)
  • 2011: Diseño e implantación de una arquitectura jerárquica de cachés para E/S de altas prestaciones
  • 2011: Técnicas escalables de entrada/salida en entornos distribuidos y de computación de altas prestaciones
  • 2009-2010: Scalable and robust architectures for supporting advanced network services
  • 2009: CP08: Computación de altas prestaciones en entornos de computaci&ioacute;n voluntaria
  • 2008-2009: Sistema de bases de datos de tecnologías para el proyecto ETAP GLOBAL SYSTEM STUDY FASE II (GSS)
  • 2007-2010: Nuevas técnicas de almacenamiento escalable en computación de altas prestaciones.
  • 2008: CP07: Sistema escalable de gestión de entrada/salida
  • 2007: CP06: Técnicas de optimización de la entrada/salida en aplicaciones para entornos de computación en altas prestaciones
  • 2004-2007: Almacenamiento de altas prestaciones en Entornos GRID

Supervised Ph.D. students

Former students

2022 - Optimización y dimensionamiento de los sistemas de computación en la nube mediante técnicas de modelado y transformación (Together with María Emilia Cambronero Piqueras)

  • Student: Adrián Bernal Bermejo

2020 - Modelling and validation of cloud systems using model driven engineering, metamorphic and mutation testing (Together with Juan de Lara)

2017 - Modelando la variabilidad: Métodos formales para la representación de líneas de productos software (Together with Luis Llana)

  • Student: Carlos Delfín Camacho González

2015 - New Simulation Techniques for Energy Aware Cloud Computing Environments (Together with Jesús Carretero)

Scientific community particitation

Conference activities

2015 - Track chair.

  • 30th Annual ACM Symposium On Applied Computing, Track on Service-Oriented Architectures and Programming (SAC-SOAP’15)

2015 - Special Session and Workshops chair.

  • 7th International Conference on Computational Collective Intelligence Technologies and Applications (ICCCI’15)

2015 - Organisation committee member

  • 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS’15)

2014 - Organisation committee member

  • 26th IFIP International Conference on Testing Software and Systems (ICTSS’14)

2013 - Organisation committee member

  • 11th International Conference on Software Engineering and Formal Methods (SEFM’13)

Program Committee member

  • MiDOS: Annual ACM Symposium On Applied Computing (SAC), Track on Microservices, DevOps, and Service-Oriented Architecture
  • GECON: Conference on the Economics of Grids, Clouds, Systems, and Services
  • ACIIDS, Asian Conference on Intelligent Information and Database Systems
  • SAC-SOAP, Annual ACM Symposium On Applied Computing (SAC), Track on Service-Oriented Architectures and Programming
  • MET, International Workshop on Metamorphic Testing
  • IWANN, International Work-Conference on Artificial Neural Networks
  • ISTA, International Symposium on Intelligent Systems Technologies and Applications
  • SITIS, International Conference on Signal Image Technology & Internet Based Systems
  • ICCCI, International Conference on Computational Collective Intelligence Technologies and Applications
  • C4BB4C, International Workshop on Clouds for Business and Business for Clouds

Reviewer for Conferences

  • A-MOST’13, 9th Workshop on Advances in Model Based Testing.
  • QSIC’13, 13th International Conference on Quality Software.
  • Euro-par’11, 17th International European Conference on Parallel and Distributed Computing.
  • ISCC’07, 12th IEEE Symposium on Computers and Communications.

Reviewer for Journals

  • Journal of Systems and Software.
  • IEEE Transactions on Reliability.
  • Journal of Supercomputing.
  • Journal of Simulation Modelling Practice and Theory.
  • Journal of Zhejiang University-SCIENCE A.


  • 2021 - Best new ideas paper at the SLE'21 conference: "New ideas: automated engineering of metamorphic testing environments for domain-specific languages"
  • 2012 - Best Paper Award at the ICCS'12 conference: "Optimizing the Trade-offs Between Cost and Performance in Scientific Computing"
  • 2009 - IBM Ph.D. Fellowship award. (Website)

Research stay

  • Research stay at Edinburgh Parallel Computing Centre (EPCC), University of Edinburgh (UK). From Jul/23/2018 to Aug/10/2018.
  • Internship at IBM Almaden Research Center, Storage department (California, USA). From June 2009 to September 2009.
  • Research stay at HLRS, University of Stuttgart (Germany). From July 2008 to October 2008.


  • 2015 - US 8,989,507 B2. Mario Blaum, Alberto Núñez and Steven R. Hetzler. Bitmap compression for fast searches and updates.