Post Doctoral Researcher

José Ignacio Requeno Jarabo

DEPARTMENT OF COMPUTING, MATHEMATICS, AND PHYSICS

Office: F505-05

E-mail: jirj@hvl.no

Website: https://www.hvl.no/en/employee/?user=6045770

Phone: 4755587032

Mobile: 4755587032

Research field: Software engineering

Publications: Publications in Cristin

About

Since January 2020, I’m a post doctoral researcher at the HVL. I’m working on the European H2020 project COEMS (Continuous Observation of Embedded Multicore Systems). Previously, I worked on other national and international research projects such as European H2020 DICE (Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements) and European FP7 SENSATION (Self Energy-Supporting Autonomous Computation).  I’m interested in formal verification and quantitative analysis of concurrent and stochastic systems.

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

My research topics and interests are:

  • 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