Introduction

Since February 2021, I'm Assistant Professor at the UCM. Previously, I was a post doctoral researcher at the Department of Computing, Mathematics and Physics at the Høgskulen på Vestlandet (HVL), Bergen, Norway. I worked on the European H2020 project COEMS (Continuous Observation of Embedded Multicore Systems). Earlier, I worked on other national and international research projects such as European H2020 DICE (Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements) and European FP7 SENSATION (Self Energy-Supporting Autonomous Computation).  I’m interested in formal verification and quantitative analysis of concurrent and stochastic systems.

I got my PhD from Universidad de Zaragoza (Spain) in 2014.

My research topics and interests are:

• Formal models and logics
• Verification, validation and quantitative analysis
• Concurrent, stochastic and cyber-physical systems
• Model-driven engineering
• Process mining and machine learning
• Systems biology