Researcher II
Jose Ignacio Requeno Jarabo
Field of work
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).
Research areas
- Formal models and logics
- Concurrent, stochastic and cyber-physical systems
- Process mining and machine learning
- Verification, validation and quantitative analysis
- Model-driven engineering
- Systems biology