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
- AVERTS 2017: invited talk
- LearnAut 2018: talk on the ongoing work available soon on learning boolean functions from learning examples.
I am mainly teaching practicals of Networks at University Grenoble Alpes in