đ©» Ă propos de moi
Contact
Vous pouvez me joindre en utilisant une des adresses suivantes
nom.prenom@lmf.cnrs.fr
nom.prenom@irif.fr
nom.prenom@ens-paris-saclay.fr
nom.prenom@ens-cachan.fr
(dépréciée)nom@lsv.fr
(dépréciée)
Pour avoir une idée globale de mon parcours, il est possible de consulter mon CV.
đĄïž Soutenance de ThĂšse
Jâai soutenu ma thĂšse de doctorat en informatique le 12 septembre 2023 Ă Paris. Pour plus dâinformations, il suffit de suivre ce lien et dây lire tous les dĂ©tails.
đ ThĂšse
Jâai Ă©tĂ© doctorant Ă lâĂcole Normale SupĂ©rieure Paris-Saclay sous la direction de Jean Goubault-Larrecq en co-direction avec Sylvain Schmitz de lâUniversitĂ© Paris Diderot. Ma thĂšse sâest donc dĂ©roulĂ©e Ă la fois au LMF (ex LSV) et Ă lâIRIF.
Mon sujet dâĂ©tude porte sur la vĂ©rification des systĂšmes dynamiques centrĂ©s sur les donnĂ©es. Ce sont des systĂšmes typiques dâapplications possĂ©dant des bases de donnĂ©es qui Ă©voluent au cours de lâutilisation dâun service. Pour avoir une petite idĂ©e des sujets abordĂ©s dans ma thĂšse, vous pouvez consulter mon rapport de mi-parcours, ou le manuscrit.
đšâđ« AgrĂ©gation
Jâai passĂ© lâagrĂ©gation de mathĂ©matiques option informatique en 2017-2018 Ă lâENS Cachan, et avec Emilie Grienenberger, GaĂ«tan Doueneau et Charlie Jacomme nous prĂ©parons des fiches pour les leçons dâagrĂ©gation dâinformatique. Lâensemble des ressources sont disponibles par ici.
đ ScolaritĂ©
Jâai suivi une double licence mathĂ©matiques informatique Ă lâENS Paris-Saclay (ex Ens Cachan). Par la suite je me suis orientĂ© vers lâinformatique et jâai continuĂ© ma scolaritĂ© avec le Master Parisien de Recherche en Informatique toujours Ă lâENS Paris-Saclay.
Cherchant a solidifier mes compĂ©tences en mathĂ©matiques, jâai passĂ© lâagrĂ©gation de mathĂ©matiques session 2017-2018 en suivant la formation Ă lâenseignement supĂ©rieur en mathĂ©matiques de lâENS Paris-Saclay.
Par la suite, jâai repris mon parcours informatique en suivant la seconde annĂ©e du Master Parisien de Recherche en Informatique.
đ§âđŒ ExpĂ©rience dans le public hors acadĂ©mique
De 2020 Ă 2021 jâai Ă©tĂ© Entrepreneur dâintĂ©rĂȘt gĂ©nĂ©ral en collaboration avec Pierre-Ătienne Devineau sur le projet SIANCE portĂ© par lâAutoritĂ© de SĂ»retĂ© NuclĂ©aire dans lâobjectif de moderniser lâaccĂšs aux connaissances accumulĂ©es par lâautoritĂ© aux inspecteurs, dans le double objectif dâamĂ©liorer le processus dâinspection et de mieux le piloter.