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