Research
I am mainly interested in model checking systems with
time, weights and concurrency. In other words, I play with
automaton, Petri nets and their extensions with
time and weights.
Recently, I have been (or am currently) working on:
- identification of Petri nets
- expressivity of Petri nets with time
- model checking and control on weighted timed automaton
Students
- Manon Le Moigne is a PhD student (supervised by Olivier
Roux and myself). She is working on the identification of
Petri nets (for the moment) with time (maybe in the future).
- Mathieu Doucen is a master student (supervised by Didier Lime and
myself). He is working on parameters synthesis on weighted timed
automaton.
Teaching
I am teaching at École
Centrale de Nantes, on the following topics:
- Supervised Learning
- Microcontroler
- FPGA
- Networks
- Automatism
- Smartphone programming