Postdoktor

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).

Forskar på

  • 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