Tremplin Carnot Interfaces | Nos experts informatique, robotique, technologies pour la santé

Experts, Carnot, Interfaces, robotique, technologies pour la santé, informatique, modélisation, calculs, vérification, sciences des données, data, réseaux, sécurité, drones, imagerie,

page-template-default,page,page-id-678,page-child,parent-pageid-108,qode-quick-links-1.0,ajax_fade,page_not_loaded,,qode_grid_1300,footer_responsive_adv,qode-content-sidebar-responsive,qode-child-theme-ver-1.0.0,qode-theme-ver-11.2,qode-theme-bridge,wpb-js-composer js-comp-ver-5.2.1,vc_responsive

Nos expert.e.s

Cette page est en cours de mise à jour, découvrez les profils des premiers experts en ligne.

Diagnostic des connaissances, modélisation utilisateur, modèles d'adaptation, intelligence artificielle pour l'éducation, learning analytics

Vanda Luengo

Environnements informatiques pour l'apprentissage humain

Commande, estimation d'état, systèmes robotiques, automatique

Pascal Morin

Commande de drones

Acquisition ultrasonore, reconstruction d'images ultrasonores

Jérôme Gateau

Imagerie ultrasonore et photoacoustique

Apprentissage automatique, logique floue, raisonnement automatique.

Christophe Marsala

Intelligence artificielle

Os, Biomécanique, Imagerie, Ultrasons

Pascal Laugier

Caractérisation ultrasonore des tissus biologiques

Transaction, réplication, web archiving

Stéphane Gancarski

Gestion des données à large échelle

Gestion des connaissances, ontologie, aide à la décision, visualisation, raisonnement visuel, méta heuristique, optimisation combinatoire

Jean-Baptiste Lamy

Représentation et visualisation des données et connaissances

Protocoles de mesure et de traitement de signal quantitatif, ultrasons, contraste

Lori Bridal

Echographie biomédicale pour l'évaluation de l’environnement tumorale

Comanipulation, commande en robotique

Guillaume Morel

Robotique médicale

Optimisation de requêtes, systèmes NOSQL et NewSQL, Spark

Hubert Naacke

Traitement analytique, big data

Réseaux terrestres, sans fil et mobile : architecture, sécurité, cloud

Guy Pujolle

Réseaux

Ultrasons, émulsions, vectorisation, hydratation

Nicolas Taulier

Imagerie, thérapie ultrasonore

Données massives, semi-structurées, schémas, optimisation de requêtes

Mohamed-Amine Baazizi

Analyse et optimisation des traitements de données massives

Rééducation système locomoteur, mécatronique, intelligence artificielle, programmation temps réel

Ludovic Saint-Bauzel

Interaction physique humain-robot

apprentissage par renforcement, prise de décision, modèles neuromimétiques

Benoit Girard

Intelligence artificielle pour la robotique

Interaction humain-machine, informatique affective, comportement socio-émotionnel

Catherine Pelachaud

Agent conversationnel animé

Analyse, modélisation, reconnaissance de gestes, actions

Catherine Achard

Apprentissage artificiel

Maching learning, apprentissage par renforcement, intelligence artificielle

Stéphane Doncieux

Intelligence artificielle pour la robotique

Recherche documentaire, recommandation, résumé automatique, réseaux sociaux, texte

Benjamin Piwowarski

Accès à l'information et apprentissage automatique

Matériaux, ultrasons, instrumentation

Pascal Dargent

Acoustique Ultrasons

Spécification, test, fiabilité, processus métier, DevOps

Lom Messan Hillah

Modélisation, test et vérification de systèmes logiciels

Langages dédiés, compilation certifiée, système correct par construction

Pierre-Évariste Dagand

Langage et compilation informatique

Comanipulation, instrumentation, assistance pour la chirurgie

Marie-Aude Vitrani

Robotique chirurgicale

IHM, modèle utilisateur, systèmes interactifs, performance, développement de l'expertise, prise de décision

Gilles Bailly

Interaction Humain-Machine

FPGA, dispostifs biomédicaux

Bertrand Granado

systèmes embarqués - dispositifs biomédicaux

Wearable robotics, interaction physique Homme-Robot, contrôle sensorimoteur

Nathanaël Jarrassé

Robotique de rééducation et d'assistance

Modèles graphiques probabilistes, aide à la décision, apprentissage, prévision et diagnostic, causalité et explicabilité

Pierre-Henri Wuillemin

Intelligence artificielle, modèles probabilistes, apprentissage statistique

Spécifications, preuves, analyses statiques, contrôle d'accès, contrôle de flot d'information

Mathieu Jaume

Application de méthodes formelles pour la sécurité

Modélisation de systèmes répartis, model checking, SAT solvers,

Fabrice Kordon

Modélisation et vérification de systèmes complexes