As a postdoctoral researcher in the Taranis project, part of the PEPR Cloud initiative, I focus on rethinking the design and verification techniques associated with Infrastructure as Code (IaC) languages. The Taranis project aims to simplify the development and deployment of cloud applications. My work involves addressing the current gaps in tooling within the cloud community, particularly for languages like YAML, where there is a lack of advanced tools such as type systems, linters, and IDEs. This tooling is essential for making informed decisions regarding topology and resource allocation, considering various criteria such as DevOps (operational efficiency), SecDevOps (security), FinOps (financial optimization), and GreenOps (ecological impact).
As a postdoctoral researcher for the ANR SeMaFoR project, I contributed to WP3: Decentralized Reconfigurations, under the supervision of Hélène Coullon and Charles Prud'homme. The SeMaFoR project aims to make significant advances in the collaborative exploitation of Fog resources. I was responsible, for the task concerning my postdoctoral position, for the inference and planning of reconfiguration programs.
My thesis was funded by the Marie Skłodowska-Curie actions, through the Lowcomote project. Lowcomote is a European project aimed at training a generation of professionals in the design, development, and operation of low-code platforms. In this project, I participated in writing several deliverables, as well as in the overall coordination of the project by volunteering to represent the project's doctoral students and administering its website.
I was a research engineer in the Girafon project, funded by the Centre-Val de Loire Region (APR-IA), which aimed to propose algorithms for querying, exploiting, and analyzing large graphs using a rich query language and distributed computing. I contributed to the task "Structured parallel programming on large graphs".