Professor, Aix-Marseille University
Teaching at the Computer Science department
of the Faculty of Science
Researcher at
LIS, member of the MoVe team
Co-head (with Jérémie Chalopin) of the Pôle Calcul division of the LIS
Co-head (with Nathalie Bertrand) of the
working group on
Verification of the GDR IM of the CNRS
Contact:
Laboratoire d’Informatique et Systèmes
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France
Office : 05.38, TPR2 building
Phone : +33 (0)4 86 09 06 73
Fax : +33 (0)4 86 09 ?? ??
E-mail : firstname.lastname@lis-lab.fr
The 2023 annual meeting of GT-Vérif will be held at IRIF (Paris), on November 30 and December 1.
Julie Parreaux defended her PhD thesis on October 24. Her thesis is entitled "Weighted timed games: Decidability, Randomness and Robustness". Congrats!
Léo Exibard has been hired as assistant professor at LIGM, Univ. Gustave Eiffel. Congrats!
Damien Busatto-Gaston has been hired as assistant professor at LACL, Univ Paris-Est Créteil. Congrats!
The 2022 annual meeting of GT-Vérif was held in Bordeaux, July 11-13.
Final meeting of ANR Delta, held at CIRM, May 30- June 3rd, 2022
M2 Internship proposal co-supervised with Emmanuel Filiot (Brussels)
STACS 2022 was held in Marseille!
PC Member of MSR 2023.
PC Member of Petri Nets 2023.
PC Member of GandALF 2022.
PC Member of Petri Nets 2022.
Formal Methods, Verification, Model-Checking, Automata, Logic, Transducers, Timed systems, Petri nets, Concurrency, Robustness.
More details are available via the Research link.
A version can be found here (updated dec. 2021).
They are available via the Publications link.
Informations (in french) are available via the Teaching link.