Jose-Ignacio Requeno-Jarabo

I'm a postdoc at the Tempo team in VERIMAG. I'm cosupervised by Oded Maler and Nicolas Basset. I'm interested in formal verification and quantitative analysis of concurrent and stochastic systems.

I got my PhD from Universidad de Zaragoza (Spain).

Research topics:

  • 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
  • Publications:



    In pdf (english) pdf (french)