Jolan PHILIPPE

Jolan PHILIPPE is a Lecturer at University of Orléans affiliated with LMV research laboratory, and currently holds a postdoctoral position at Université de Rennes in the DiverSE team under the supervision of Olivier Barais. His research focuses on Infrastructure as Code (IaC) and distributed systems reconfiguration, with particular emphasis on formal methods and model-driven approaches.

His primary research interests include:

• Distributed Systems and Cloud Computing
• Infrastructure as Code (IaC) and DevOps
• Model Driven Engineering
• Formal Methods and Verification
• Parallel and Distributed Programming
• Algorithmic Skeletons

Dr. PHILIPPE's work demonstrates a strong trajectory from foundational research in parallel programming models (particularly through his work on PySke) to applied research in distributed system reconfiguration. His recent publications show increasing focus on formal approaches to infrastructure management, with significant contributions to languages like Concerto-D and frameworks like Ballet for cross-DevOps reconfiguration. His research bridges theoretical computer science (formal methods, verification) with practical cloud infrastructure concerns.

He is actively supervising two PhD candidates:

• Haitam El Hayani (Taranis project, 2024-2027) - Extending Infrastructure as Code (IaC) languages, focusing on enhancing capabilities and integration with modern cloud deployment practices
• Olivia Proust (For-Coala project, 2025-2028) - Towards formally verified configuration management languages

Dr. PHILIPPE is deeply involved in research coordination:

• Coordinator of the "Défi GDR GPL" (challenge) ADDYCT (ADaptation DYnamique et ConTinue) for 2026-2030
• One of the leaders of the GDR GPL's GT SyLA (Groupe de Travail - Système Logiciel Adaptable) since February 2025
• Helped organize the VELVET (Verification and Software Engineering for DevOps and Reconfiguration) days in Nantes, December 2023

His service to the academic community includes:

• Program Committee Member for DebConf 2025, ICCS 2025, LowCode@MODELS 2025
• Publicity Chair and Program Committee Member for UCC 2025 and BDCAT 2025
• Reviewer for journals (COLA, SoSyM) and multiple international conferences