Research

I have open positions and I am always looking for competent and motivated students to join us in DiverSE. Contact me on stephanie{dot}challita{at}inria{dot}fr.

Overall, my research project aims to facilitate and improve software development. For this, I am interested in the development of Domain-Specific Modeling Languages which have shown their effectiveness in the world of software development, thanks to a set of features such as abstraction, verification, code generation and many others. More specifically, my current research aims to provide languages and tools to model, verify and ease software development of REST APIs.

My research interests include:

• REST APIs
• Model-Driven Engineering
• Software Language Engineering
• Reverse-Engineering
• Model Verification & Validation
• and Cloud Computing

Thesis supervision:

• Haitam El Hayani, October 2024 - Present, “Extending Infrastructure as Code (IaC) languages, focusing on enhancing their capabilities and improving their integration with modern cloud deployment practices”, co-supervision: Olivier Barais, Jolan Philippe

• Anne Bumiller, October 2020 - November 2023, “Contextual modeling of adaptive authentication systems”, co-supervision: Benoit Combemale, Olivier Barais

Internships supervision

• Yazid Benjamaa, June 12 - September 15, 2023, “A DSL for specifying DevSecOps tools”

• Mouna Hissane, May 01 - August 31, 2021, “A model-driven approach for analyzing security of Cloud APIs”, co-supervision: Nan Messe, Olivier Barais

• Léo Rolland, June 07 - August 27, 2021, “A technical dive into software cloudification”, co-supervision: Benoit Combemale, Olivier Barais