Research

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:


Thesis supervision:


Internships supervision


Awards & Grants


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.