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).
Formal models and logics
Verification, validation and quantitative analysis
Concurrent, stochastic and cyber-physical systems
Process mining and machine learning