Menu

Cédric PASTEUR

ELANCOURT

En résumé

Mes compétences :
OCamL
Programmation fonctionnelle
Compilation
Langages synchrones

Entreprises

  • Esterel Technologies - Ingénieur R&D

    ELANCOURT 2013 - maintenant

  • Ecole normale supérieure - Doctorant

    2010 - 2013 Laboratoire d’Informatique de l’Ecole normale supérieure, Paris.
    Thèse dirigée par Marc Pouzet et Louis Mandel.
    Recherche Conception d’un langage synchrone pour la simulation discrète à grande échelle.
    – Conception théorique : Sémantique et système de type
    – Implémentation multi-coeurs et distribuée
    – Veille scientifique, Rédaction d’articles, Participation à des conférences
    Enseignement
    – Organisation d’un projet de simulation d’un microprocesseur (1e année ENS)
    – Animation de TD/TP d’architecture des ordinateurs (L2 UPMC) et programmation en
    Lustre (M2/SAR UPMC)

  • INRIA - Stagiaire

    Le Chesnay 2010 - 2010 Implémentation efficace des tableaux dans le langage synchrone flot de données SCADE.
    – Développement du compilateur du langage synchrone flot de données Heptagon
    – Collaboration avec l’équipe Core d’Esterel Technologies

  • LAAS-CNRS , Toulouse - Stagiaire

    Toulouse 2009 - 2009 Stage de M1. Implémentation d’un langage de description de composants pour la robotique autonome.

  • Armée de terre - Stagiaire

    2006 - 2007 Stage de formation humaine et militaire. Formation à l’exercice des responsabilités à l’Ecole Spéciale Militaire de St-Cyr puis mise en pratique dans la Section Technique de l’Armée de Terre à Toulouse.

Formations

Réseau

Annuaire des membres :