Menu

Amaury GRAILLAT

VALENCE

En résumé

Je suis étudiant en informatique (spécialisation Systèmes embarqués et systèmes distribués). Je suis aussi passionné de théâtre et animateur l'été auprès d'enfants.

Mes compétences :
Informatique embarquée
C
PHP
Java
C++

Entreprises

  • Kalray / Verimag - Doctorant, implantation de système temps-réel sur le MPPA de Kalray

    2015 - maintenant
  • Verimag - Stagiaire recherche

    2015 - 2015 Implantation de système temps-réel sur architecture many-core chez Laboratoire Verimag
  • SAP France - Création et implémentation d'algorithmes de décompression de données en SIMD

    Paris 2014 - 2014 Programmation C++ avec le jeu d'instruction AVX-512.

    Création et implémentation d'algorithmes de décompressions de données utilisant des instructions SIMD (Single Instruction Multiple Data).
  • Verimag, Grenoble INP - Stagiaire recherche, Simulation distribuée pour les systèmes embarqués

    2014 - 2014 SystemC est une bibliothèque pour C++ qui permet de modéliser des systèmes matériels complexes.

    Dans le cadre d'un cours d'introduction à la recherche en laboratoire, je dois rendre SystemC distribuable sur différentes machines (MPI, OpenMPI). Le travail se base sur sc-during (http://sc-during.forge.imag.fr/), qui permet l'exécution de code parallèle en utilisant des threads.
  • Nocosium - Programmeur

    Vaulx-en-Velin 2013 - 2013 Programmation sur ARM pour Nocosium. Entreprise spécialisée dans le domaine des espaces confinés pour la santé.
  • Laboratoire de Conception et d'Intégration des Systèmes - Stagiaire

    2012 - 2012 Programmation sur ARM.
  • PluXml - Développeur (bénévole)

    2008 - maintenant Développement d'un moteur de blog GNU en PHP sans base de donnée (XML).

Formations

  • Ecole D'Été : TACLe (Vienne)

    Vienne 2016 - 2016 Ecole d'été

    Ecole d'été : 24h de cours sur une semaine. Dans le cadre du projet TACLe

    Architecture many-core optimisé pour le temps réel.
    Compilation optimisant le WCET.
    Programmation parallèle vigilante au WCET.
    Analyse d'énergie des systèmes embarqués au niveau code source.
    Utilisation des benchmarks TACLe pour générer des ensemble de tâches.
  • Ensimag

    St Martin D'Heres 2012 - maintenant Activité annexe : Encadrement de nageurs.
  • IUT De Valence

    Valence 2010 - 2012 Informatique Embarquée

Réseau