C’est avec un grand plaisir que j’annonce mon arrivée dans le projet ANR For-CoaLa, en tant qu’ingénieur d’études contractuel à l’Université d’Orléans !

Actuellement étudiant en Master 1 Informatique à l’Université d’Orléans, j’ai eu l’occasion, notamment lors de mon stage de recherche en Licence 3, de travailler avec Frédéric Loulergue sur la formalisation d’un sous-ensemble du langage de configuration Puppet.

Cette expérience m’a permis de développer mes connaissances en méthodes formelles, en particulier via l’assistant de preuve Rocq, ainsi que de découvrir le domaine de l’Infrastructure-as-Code.

J’aurai également la chance de collaborer avec les autres membres du projet et d’apprendre à leur contact.

Intégrer le projet For-CoaLa représente pour moi une belle opportunité de progresser autant sur le plan scientifique que technique.

Je suis enthousiaste à l’idée de contribuer au développement du projet et de relever les défis à venir.