PhD students

  • [2025-10, 2028-09] Nathan Rabier, Inria Université Grenoble Alpes, in collaboration with Eric Rutten and Sophie Cerf
    • Handling dynamic constraints and deadlines in distributed software reconfiguration - Application to power transmission
    • PEPR Cloud, Taranis
  • [2025-10, 2028-09] Lucien Astié, IMT Atlantique, in collaboration with Baptiste Jonglez, Erwan Bousse, Théo Le Calvar
  • [2025-09, 2028-08] Olivia Proust, IMT Atlantique, in collaboration with Frédéric Loulerge
    • Towards formally verified configuration management languages
    • ANR For-CoaLa
  • [2023-10, 2026-09] Tengfei An, Inria, in collaboration with Orange Labs and Jacques Noyé
    • Modeling and Studying Self-Stabilization within Kubernetes
  • [DEFENDED] Antoine Omond, IMT Atlantique, double diploma with the Arctic University of Tromsø, Norway (Issam Raïs)
    • Safe, efficient and low-energy self-adaptation for Cyber Physical Systems - Application to a scientific observatory in the Arctic tundra
  • [DEFENDED] Joan Philippe, IMT Atlantique, in collaboration with Massimo Tisi and Gerson Sunyé
    • Automatic configuration of complex graph transformation frameworks, automatic parallelization, low code platforms
    • Lowcomote project
    • Now associat professor at the University of Orléans
  • [DEFENDED][2017-10-01, 2020-09-30] Emile Cadorel, IMT Atlantique, in collaboration with Jean-Marc Menaud
    • Energy-aware management of scientific workflows in the Cloud : A Cloud provider-centric vision
    • Hydda project
    • Now research engineer at Davidson Consulting
  • [DEFENDED][2017-19-01, 2020-09-30] Maverick Chardet, Inria, in collaboration with Christian Perez
    • Reconciling Parallelism Expressivity and Separation of Concerns in Reconfiguration of Distributed Systems
    • IPL Discovery
    • Now teacher in computer science in high school, Paris, France

Postdocs

  • [2025-2027] Quentin Guilloteau, Inria
    • A container-content component model to bridge the gap between application description, placement algorithms, and deployment on heterogeneous, multi-level infrastructures +PEPR Cloud Taranis
  • [2025-207] Clément Mommessin, Inria, in collaboration with RTE
  • [2024-2026] Eloi Perdereau
    • Formalization and verification of configuration and provisioning languages
    • PEPR Cloud Taranis
  • [2023-02-01, 2024-07-31] Jolan Philippe, SeMaFoR project
    • Reconfiguration plan synthesis, fog computing, contraint programming
    • ANR SeMaFoR
  • [2023-02-01, 2024-06-30] Farid Arfi, OTPaaS project
    • Formal methods and verification for decentralized reconfiguration
    • OTPaaS Project
  • [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, IMT Atlantique
    • Formal methods for reconfiguration
    • VeRDi project
    • Now Associate Professor in Montpellier, France
  • [2019-09-01, 2019-10-31] Dimitri Pertin, IMT Atlantique
    • Reproducible experiments on the OpenStack deployment
    • VeRDi project
    • Now Software Engineer at Akeneo, Nantes, France
  • [2016-10-01, 2018-03-31] Dimitri Pertin, Inria
    • Madeus model for efficient software commissioning
    • IPL Discovery

Engineer

  • [2025-12, 2027-11] Sidi-Mohammed Kaddour, Inria
    • CoAnsible: Developping an extension for Ansible that uses Concerto to fasten deployments
    • ADT Inria
  • [2019-07-01, 2020-06-30] Charlène Servantie, VeRDi project
    • Now software engineer at Akeneo, Nantes, France