Profil de Ksass`Peuk

  • Inscrit 23/07/14 à 16h57
  • Dernière visite sur le site : il y a 21 minutes

Signature

First : Always RTFM - "Tout devrait être rendu aussi simple que possible, mais pas plus." A.Einstein

Derniers sujets créés


Biographie

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

  • Emplois :
    • 2016-Aujourd’hui : 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.