Ksass`Peuk

Mon parcours en quelques lignes (et en sens inverse) :

• Emplois :
  • 2019-Aujourd’hui : Ingénieur-Chercheur vérification formelle, Frama-C team, CEA List - Laboratoire de Sûreté des Logiciels
  • 2017–2019 : 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.