Doctorat, encadré par Jean-Christophe Filliâtre et Andrei Paskevich. Conception et unification des langages de programmation, spécification et preuve dans le contexte de la vérification déductive de programmes, au sein de l'outil Why3.

Stage de M2, encadré par Marc Pouzet. Travail autour de la reproductibilité et de la transparence des assertions exécutables dans le langage hybride Zélus. Conception et implémentation d'une sémantique exécutable pour un environnement d'exécution multi-solveur.

Stage de M1, encadré par Jean-Christophe Filliâtre et Andrei Paskevich. Ajout d'une nouvelle construction au langage WhyML permettant le filtrâge sur les instances de prédicats inductifs au sein de l'outil Why3. Traduction d'une preuve Rocq vers Why3 comme exemple d'utilisation.

Alternance en L3. Développement back-end sur une infrastructure conteneurisée en Python et Scala. Conception d'une plateforme de gestion d'environnements de développement Jupyter avec React.js, Flask et Docker.

Stage de L2. Développement en Java d'un outil d'automatisation de tests bout en bout et d'un convertisseur de fichiers ISO 20022 sur l'infrastructure banquaire de la Caisse des Dépôts et Consignations.

Engagement associatif au sein de l'association d'informatique de la faculté. Vice-trésorier et responsable enseignement. Organisation d'événements, enseignement des bases du langage Python, gestion de budget.

Stage de L1. Travail sur le parcours utilisateur sur les sites e-commerce de Fnac et Darty. Déploiement d'une application iOS interne.

Master Parisien de Recherche en Informatique (MPRI)

Master Parisien de Recherche en Informatique (MPRI)

Licence Sciences du Numérique (SDN)

Curriculum Vitae.

Rapport de stage de M1.

Rapport de stage de M2.

Email.

Forge git.

LinkedIn.