I am Telecommunication engineer and PhD in Computer Science from the
University of Málaga. I received my PhD in 2013 and worked as
postdoctoral researcher at MORSE
research group, which is part of the Institute of Technology and
Software Engineering (ITIS). From
2018 until 2021, I have worked as interim Assistant Professor in the
Computer Science department at the University of Málaga. In 2021, I
promoted to Assistant Professor in the same department.
My research interests include formal methods for Cyber-Physical Systems
(model checking, model-based testing, runtime verification, etc.),
focusing on embedded and mobile communication systems. I have
participated in different European projects such as the SAID project,
designing and developing a decision support tool for dam management, the
TRIANGLE project, in the automatic generation of mobile apps models and
the use of model-based testing techniques, or the EuWireless project, in
the design of a pan-European research infrastructure for mobile
communication.