French version here
I am an assistant professor (maître de conférence) at University Grenoble Alpes.
I do my research in the team TEMPO at VERIMAG and my teaching at UFR IM2AG.
Some ongoing research works
Learning boolean functions and automata, in particular, from positive examples.
Robustness, monitoring and data mining of temporal behaviours.
Validation of hybrid system, in particular via random sampling of its input temporal behaviours.
Some former (yet still ongoing) research works
Timed automata theory, where I look at quantitative behaviours inspired by information theory.
Stochastic, concurrent and timed games.
Maximal entropy random sampling behaviours of timed/hybrid or discrete models.
A list of my publications is available here
Future and past Event
I am mainly teaching practicals of Networks at University Grenoble Alpes in