Páginas personales


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