Monade Libre
Dans le cadre de ma thèse, j’ai beaucoup exploré le domaine de la Free Monad (ou “monade libre” en français). C’est le sujet principal abordé au cours de ma thèse. J’ai passé plusieurs semaines avec mon co-encadrant à lire les papiers du domaine et essayer de comprendre comment ça fonctionne et comment on pourra faire le lien avec les thématiques de mon sujet de thèse.
Au début, on s’est aussi servis de ce mini projet pour que je puisse prendre en main l’assistant de preuve Coq. À Force de faire évoluer ce mini-projet. Mon directeur de thèse m’a proposé de collaborer avec des étudiants venant faire leur stage dans notre équipe afin d’avancer de manière un peu plus étendue dans les différentes collaborations scientifiques faisables, j’ai donc fait évoluer ce projet afin d’arriver à un cours pour les différents étudiants qui passeraient par là au cours de ma thèse.
L’intéret de développer moi même un cours/tutoriel pour les différents étudiants (en projet ou stagiaires) est aussi de me former sur l’aspect pédagogique et transmission de connaissances. Le cours a été développé en même temps que le premier étudiant présent le suivait. Grâce à lui, j’ai assez vite pu trouver des points de faiblesses dans mes explications que j’ai pu oublier lors de mon premier développement.
L’intérêt de développer ce cours, plutot que de former l’étudiant en face à face, est aussi d’avoir un tutoriel pour la librairie que l’on va petit à petit designer au cours de l’avancée de ma thèse.
À ce jour, ce projet évolue encore grâce à cet étudiant étant donné que l’on écrit un papier qui sera présenté en conférence à la fin mai.