PhD students

[2023-10, 2026-09] Tengfei An, Inria in collaboration with Orange Labs
- Modeling and Studying Self-Stabilization within Kubernetes
[2021-12-01, 2024-11-30] Antoine Omond, double diploma with the Arctic University of Tromsø, Norway
- Safe, efficient and low-energy self-adaptation for Cyber Physical Systems - Application to a scientific observatory in the Arctic tundra
[DEFENDED] Joan Philippe, Lowcomote project
- Automatic configuration of complex graph transformation frameworks, automatic parallelization, low code platforms
[DEFENDED][2017-10-01, 2020-09-30] Emile Cadorel, Hydda project
- Energy-aware management of scientific workflows in the Cloud : A Cloud provider-centric vision
- Now postdoctoral researcher in the Spirals Inria team, Lille, France
[DEFENDED][2017-19-01, 2020-09-30] Maverick Chardet, IPL Discovery
- Reconciling Parallelism Expressivity and Separation of Concerns in Reconfiguration of Distributed Systems
- Now teacher in computer science in high school, Lyon, France

Postdocs

[2023-02-01, 2024-07-31] Jolan Philippe, SeMaFoR project
- Reconfiguration plan synthesis, fog computing, contraint programming
[2023-02-01, 2024-06-30] Farid Arfi, OTPaaS project
- Formal methods and verification for decentralized reconfiguration
[2022-09, 2024-08] Yasmina Bouziem, Défi Inria OVH
- Energy consumption when reconfiguring complex distributed systems in the Cloud
[2019-07-01, 2021-06-30] Simon Robillard, VeRDi project
- Formal methods for reconfiguration
- Now Associate Professor in Montpellier, France
[2019-09-01, 2019-10-31] Dimitri Pertin, VeRDi project
- Reproducible experiments on the OpenStack deployment
- Now Software Engineer at Akeneo, Nantes, France
[2016-10-01, 2018-03-31] Dimitri Pertin, IPL Discovery
- Madeus model for efficient software commissioning

[2019-07-01, 2020-06-30] Charlène Servantie, VeRDi project
- Now software engineer at Akeneo, Nantes, France