Avatar

Ksass`Peuk

1 tutoriel et 1 billet
595 messages et 5 sujets
5 abonnés

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.

First : Always RTFM - "Tout devrait être rendu aussi simple que possible, mais pas plus." A.Einstein [Tutoriel Frama-C WP]

Contenus

1 tutoriel publié

1 billet publié

En bêta

Aidez à peaufiner le fond et la forme de ces contenus en cours de rédaction

2 tutoriels en bêta

1 article en bêta

Forum

5 sujets créés

595 messages postés

Dernières publications Voir tout

Derniers billets Voir tout

Derniers sujets créés Voir tout

Signaler ce profil