Biographie
Mon parcours en quelques lignes (et en sens inverse) :
-
Emplois :
- 2017-Aujourd’hui : Post-doc Inria : Vérification formelle dans le cadre du projet Vessedia
- 2016–2017 : Attaché Temporaire d’Enseignement et de Recherche
- 2013–2016 : Doctorat "Aide à la Vérification formelle de programmes concurrents par transformation de code et de spécification", CEA List - Laboratoire de Sûreté des Logiciels
-
Etudes :
- 2011–2013 : Master Informatique Visualisation Imagerie Performances
- 2010–2011 : 3° Année Licence Informatique Générale
- 2008–2010 : DUT Informatique
- 2008 : BAC S-SI
-
Stages :
- 2013 : CEA List - Vérification Formelle d’un Micro-Noyau d’Hyperviseur, répondant à des exigences de temps réel et d’isolation complète. 6 mois.
- 2012 : Laboratoire d’Informatique Fondamentale d’Orleans, Tests sur nVidia CUDA. Application à la multiplication de matrices volumineuses. Application à l’accélération d’un programme d’astrophysique (simulation d’onde gravitationnelle due au passage d’une particule dans un trou noir). 4 mois.
- 2011 : Laboratoire d’Informatique Fondamentale d’Orleans, déploiement d’Apache Mahout et Hadoop sous Xen Cloud Platform pour réaliser du calcul intensif distribué avec l’algorithme k-means sur du Big Data.
- 3 mois. 2010 : Laboratoire d’Informatique Fondamentale d’Orleans, conception d’une version distribuée de la bibliothèque Gecode (Toolkit pour faire la programmation par contrainte en C++). 10 semaines.