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