José Ignacio Requeno Jarabo
DEPARTMENT OF COMPUTING, MATHEMATICS, AND PHYSICS
Research field: Software engineering
Publications: Publications in Cristin
Since January 2020, I’m a post doctoral researcher at the HVL. I’m working on the European H2020 project COEMS (Continuous Observation of Embedded Multicore Systems). Previously, 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