Jose Ignacio Requeno Jarabo
Arbeids- og kompetanseområde
I'm a postdoc at the HVL. I'm cosupervised by Volker Stolz. I'm interested in formal verification and quantitative analysis of concurrent and stochastic systems.
I got my PhD from Universidad de Zaragoza (Spain).
- 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