Rémi Parrot
I am an assistant professor (Maître de Conférence) at Nantes Université - École Centrale de Nantes. I belong to the STR research team at LS2N.
News
- [Nov 27] Co-organise la 16ème édition de MSR avec Rosa Abbou
- [Jun 26] Participate to the GT Verif Annual Meeting (slides)
- [Jun 26] Participate to the 18th edition of WODES
- [Apr 26] Co-organize the 11th edition of the workshop SynCop with B Srivathsan
- [Nov 25] Participe à la 15ème édition de MSR
- [Jun 25] Participate to the 46th edition of Petri Nets (slides)
- [Sep 24] Start as assistant professor at LS2N - ECN
Research interests
I am mainly interested in model checking discrete event 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
Publications
Students
PhD
Manon Le Moigne
(Sep. 2025 - ..)
Identification of Petri nets (for the moment) with time (maybe in the future)
co-supervised with Olivier Roux
Master
Gaëtan Hoo
(Apr. 2026 - Aug. 2026)
Decidability of control on guarded arenas
co-supervised with Gaëtan Staquet and Didier Lime
Théo Trichet
(Apr. 2026 - Aug. 2026)
Solving QBF formula with graph based games
co-supervised with Gaëtan Staquet
Mathieu Doucen
(Sep. 2025 - Apr. 2026)
Parameters synthesis on weighted timed automaton
co-supervised with Didier Lime
Teaching
I am teaching at École Centrale de Nantes, on the following topics:
- Supervised Learning
- Microcontroler
- FPGA
- Networks
- Automatism
- Smartphone programming
Contact
- Email: no-spam.remi.parrot@ec-nantes.fr (remove “no-spam.”)
- Address:
S512
École Centrale de Nantes
1 rue de la Noë
44300 Nantes, France