SED Paris

Le service participe à des activités communautaires (au plus 20% du temps d’activité de chaque ingénieur du SED) :

  • suivre les projets d’actions de développement technologique (ADT) des ingénieurs recrutés sur subvention d’état dans les équipes et participer aux campagnes d’ADT,
  • organiser des formations techniques et des séminaires qui favorisent les échanges entre développeurs,
  • participer à des actions transversales : plateformes techniques (support utilisateurs pour les clusters de calcul locaux, la forge logicielle et le serveur d’intégration continue nationaux),
  • participer à l’évaluation d’outils, élaborer des recommandations et maintenir une veille technologique pour le développement logiciel,
  • capitaliser et mutualiser les développements logiciels à l’Inria, en coopération avec les SED des autres centres de recherche et la direction fonctionnelle (DGD-I)
  • représenter les activités de l’Inria lors de  manifestations scientifiques

Cette section contient toutes les informations relatives à l’organisation du service.

Membres du service

Responsable

RAVERDY Pierre-Guillaume

Assistante

METTOUCHI Samira

Ingénieurs Expérimentation et Développement

Voici la liste des ingénieurs du SED avec leur domaine d’expertise et les affectations dans les équipes.

NOM DOMAINE SOUTIEN EPI
ARLAUD Etienne Sytèmes robotiques, plateformes expérimentales, C++ Willow
DIAZ Mauricio Traitement d’image et vision par ordinateur, machine learning, C++, Python Aramis
GENSOLLEN Nicolas Traitement d’image, machine learning, C++, Python Aramis
HINDERER Sébastien Systèmes symboliques, Coq, OCaml Cambium
HUYNH Kim Tâm Méthodologie & outils de développement logiciel HeKa
LEGRAND Simon Mathématiques appliquées, calcul scientifique parallèle, Python, C++ Serena
MARTINEZ Thierry Méthodes formelles, calcul distribué, Prolog, Coq, OCaml Antique, PiR2, Whisper
MATAIX FERRANDIZ Vicente Mathématiques appliquées, calcul scientifique parallèle, C++ Commedia
RAVERDY Pierre-Guillaume Systèmes distribués, middlewares mobiles et IoT

Contact

Pour chaque équipe-projet, vous avez un référent à qui poser vos questions: cf referents

Pour toute question relative à la plateforme CI d’Inria, les référents du centre sont:

  • Sébastien HINDERER,
  • Thierry MARTINEZ

Pour toute question relative à la plateforme de calcul CLEPS, les référents du centre sont:

  • Mauricio DIAZ,
  • Simon LEGRAND,
  • Vicente MATAIX FERRANDIZ

Pour toute question relative à la plateforme Gitlab, les référents du centre sont:

  • Kim Tâm HUYNH,
  • Vicente MATAIX FERRANDIZ

Pour toute question/remarque relatives aux formations/séminaires techniques sur le développement logiciel, ainsi que sur la vie de la communauté de développeurs au centre, les référents du centre sont:

  • Kim Tâm HUYNH

Réseau SED

Les autres SED

Autres infos