Department: Sistemas Informáticos y Computación

Faculty: Informática

Area: Computer Languages and Systems

Research group: Design and Testing of Reliable Systems

Email: albenune@ucm.es

Personal web: https://antares.sip.ucm.es/cana/

Doctor by the Universidad Carlos III de Madrid with the thesis New contributions for modeling and simulating high performance computing applications on parallel and distributed architectures 2011. Supervised by Dr. Javier Fernández Muñoz, Dr. Jesús Carretero Pérez.

My background is focused on modelling and testing both cloud computing systems and HPC (High Performance Computing) environments. This also includes topics such as formal modelling of cloud systems, performance evaluation of highly distributed systems and testing distributed systems and applications. At present I am working at Formal Analysis and Design of Software Systems research group (FADoSS), Software Systems and Computation Department, in the Computer Science Faculty of the Complutense University of Madrid. Currently, I am working in several projects supported by the Comunidad de Madrid and Universidad Complutense de Madrid. I was important contributor of 15 research projects co-funded, among others, by the Carlos III University of Madrid, Complutense University of Madrid, Comunidad de Madrid, and the Spanish Government Grant. I am also involved in the development of SIMCAN, a simulation platform aimed to model and simulate cloud computing systems and HPC environments.