Scholar
Pierre-Alain Reynier
Google Scholar ID: 4Z79XeQAAAAJ
LIS, Aix-Marseille Université
Citations & Impact
Citations
467
H-index
13
i10-index
18
Publications
20
Co-authors
21
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Recent works include publications in CSL 2026, MFCS 2025, LMCS 2025, etc.; Supervised students Julie Parreaux and Léo Exibard have received their PhDs and been hired as assistant professors; Damien Busatto-Gaston has also been hired as an assistant professor.
Research Experience
- Researcher at LIS, member of the MoVe team; Co-head (with Jérémie Chalopin) of the Pôle Calcul division of LIS; Co-head (with Nathalie Bertrand) of the working group on Verification of the GDR IM of CNRS.
Background
- Research Interests: Formal Methods, Verification, Model-Checking, Automata, Logic, Transducers, Timed Systems, Petri Nets, Concurrency, Robustness. Professor at the Computer Science Department of Aix-Marseille University.
Miscellany
- Contact Information: Office located at room 05.38, TPR2 building, phone +33 (0)4 86 09 06 73, email firstname.lastname@lis-lab.fr
