-
- PhD, with
- Jean-Christophe Filliâtre
- and
Andrei Paskevich.
- Working on the design and unification of programming,
- specification and proof languages in the context of deductive
- program verification, in the
-
Why3 platform.
+ 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.
+
-
- M2 Internship, with
- Marc Pouzet. Worked on reproducibility and transparency of
- assertions in the synchronous hybrid language
-
Zélus.
- Designed and implemented a
+ 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
- formal executable semantics for a multi-solver language
- runtime.
+ sémantique exécutable pour un environnement
+ d'exécution multi-solveur.
-
-
-
Skapánê
- - September 2022 to August 2023
+
Skapánê - Septembre
+ 2022 - août 2023
- L3 Traineeship. Back-end development on containerized
- infrastructure in Python. Web app design with React.js, Flask and
- Docker.
+ 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.
-
- L2 Internship. Development of an automated end-to-end testing tool
- and ISO 20022 file format converter for CDC's banking
- infrastructure in Java.
+ 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.
-
-
Ac'Lab - August 2021 - May 2022
+ Ac'Lab - Août 2021 - mai 2022
- Association. Vice-Treasurer and Teaching Lead.
+ 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.
-
- L1 Internship. Work on customer insight and customer journey.
- Deployment of an in-house iOS application.
+ Stage de L1. Travail sur le parcours utilisateur sur les sites
+ e-commerce de Fnac et Darty. Déploiement d'une application
+ iOS interne.
+ 
+ 
+ 
+ 
+ 
+ 
+ 
