ABOUT
Erwan Mahé
I obtained my PhD in Computer Science under the supervision of Pascale Le Gall and Christophe Gaston in the LogiMICS team of the MICS laboratory at CentraleSupélec. My thesis revolved around the modelisation of distributed behaviors and their formal verification and was defended on the 15th of July 2021. I'm starting a postdoctoral research mission at CEA Saclay in October 2021.
Interests
- Formal languages
- Distributed systems
- Process calculus
- Interactions
- Term rewriting
PROJECTS
HIBOU
2018-2021
Execute, animate & analyse distributed behaviors against graphical interaction models.
HIBOUX
2020-2021
Fork & extension of HIBOU to models with data & time.
PUBLICATIONS
-
My thesis: Erwan Mahe.
An operational semantics of interactions for verifying partially observed executions of distributed systems.
-
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall.
A small-step approach to multi-trace checking against interactions.
SAC2021
-
Erwan Mahe, Christophe Gaston, Pascale Le Gall.
Revisiting Semantics of Interactions for Trace Validity Analysis.
FASE2020
CONTACT
Feel free to contact me on the following address (google mail service)
erwan [dot] mahe [dot] contact [at] [...]