Hala Skaf-Molli
Web de données / Web sémantique / Graphes de connaissances / Décentralization / Fédération
Julien Salomon
Jean-Michel Dalle
Christian Fabre
RISC-V / Open hardware / Architecture / Accélérateurs / Compilation / Système d’exploitation / :angages de programmation / HPC / sécurité
Benoit Sagot
NLP, IA
Philippe Merle
Systèmes et services distribués / Edge/fog/cloud computing / Intergiciel / Génie logiciel
Christine Chevallereau
Robotique / Contrôle
Élise Jeanneau
Algorithmique distribuée / Systèmes distribués / Tolérance aux fautes / Systèmes dynamiques
Coralie Fritsch
Modélisation / Simulation / Analyse probabiliste (et un peu EDP aussi) / Applications biologie et médecine
Laurent Massoulié
Statistiques en grande dimension / Apprentissage (notamment distribué) / Modèles et algorithmes probabilistes
Gaëtan Leurent
Cryptographie symétrique / Cryptanalyse algorithmique / Sécurité
Laurent Mevel
Statistiques paramétriques / Signal / Optimisation / Mécanique et schémas numériques / Incertitude / Automatique
Michel Bergmann
Calcul scientifique et modélisation / Mécanique des fluides / Interactions fluide-structure / Schémas & simulations numériques
Nicolas Anciaux
Aspects système des bases de données / Bases de données distribuée / Sécurité des bases de données, droits d’accès, contrôle d’usage / Respect de la vie privée
Stéphane Lanteri
Calcul scientifique, physique computationnelle, méthodes d'ordre élevé, réduction de modèle,
SciML (Scientific Machine Learning), calcul haute performance.
Sylvain Salvati
Langages formels / Théorie des automates / Vérification / Lambda-calcul / Théorie des types / Programmation fonctionnelle / Logique / Mathématiques du langage
Nathalie Mitton
Réseaux sans fil / Réseaux de capteurs / Énergie / Routage
Nicolas Sangouard
Quantum information / Quantum computing / Quantum cryptography / Machine learning m Linear programming
Madalina Deaconu
Modélisation stochastique / Méthodes numériques probabilistes / Processus aléatoires spatio-temporels
Hidde de Jong
Modélisation de systèmes biologies / bioinformatique / biomathématiques / systèmes dynamiques / identification / contrôle / microbiologie
Valérie Perrier
Alain Couvreur
Cryptographie & théorie des codes / Algorithmique / Calcul formel / Arithmétique / Géométrie algébrique
Paulo Goncalves
Apprentissage et statistiques / Traitement du signal /
Traitement du signal sur des graphes
Luce Brotcorne
Elias Tsigaridas
Calcul formel / Algorithmes algébriques / Géométrie algorithmique / Modélisation géométrique
Christine Morin
Systèmes distribués / Intergiciels / Cloud computing / Virtualisation / Efficacité énergétique / Tolérance aux fautes / Supervision des systèmes d’information
Pierre Alliez
Modélisation géométrique / Calcul géométrique / Génération de maillages / Image
David Coudert
Algorithmique / Théorie des graphes / Optimisation combinatoire / Recherche opérationnelle / Réseaux (télécom, transports)
Dmitry Sokolov
Traitement numérique de géométrie / Génération de maillages / synthèse d’images
Diane Peurichard
Éric Fabre
Méthodes formelles / Algorithmes et systèmes répartis / Systèmes stochastiques / Optimisation / Contrôle / Apprentissage machine / Théorie de l’information
Frederick Garcia
Luc Maranget
Programmation fonctionnelle / Sémantique et implémentation des langages de programmation / Parallélisme (mémoire partagée) / Calculs de processus (anciennement)
Pierre-Brice Wieber
Robotique / Contrôle / optimisation / Méthodes numériques
Vincent Duval
Calcul des variations / Transport optimal / Problèmes inverses en imagerie
Assia Mahboubi
Méthodes formelles / Théorie des langages de programmation / Théorie des types / Culture générale en calcul formel
Daniel Racoceanu
Machine/deep learning / IA explicable / Analyse d’images médicales et biomédicales / Neurosciences / Histopathologie computationnelle et intégrative.
Fabien Campillo
Proba, stat / Neurosciences / Modélisation en bio et en santé /
Calcul scientifique / Analyse
Benjamin Guedj
Machine learning / Deep learning / Statistique mathématique / Probabilités
Bertrand Thirion
Apprentissage, statistiques / Imagerie cérébrale / Neurosciences
Roberto Toro
Applied & theoretical neuroanatomy
Olivier Goury
Simulation numérique / Mécanique numérique / Robotique déformable / Risques naturels gravitaires (plus récent)
Olivier Ali
Calcul scientifique / Simulation numerique / Géométrie discrete / Biologie computationnelle / Biophysique théorique.
Nicolas Champagnat
Probabilités / Méthodes numériques probabilistes / Modélisation pour la biologie et la santé / Statistiques paramétriques (plus récent) / Réseaux de gènes (plus récent)
Nathalie Revol
Arithmétique des ordinateurs / Arithmétique par intervalles / Précision des calculs numériques / Calculs en arithmétique à virgule flottante (= calcul scientifique)
Ioana Manolescu
Gestion de données / Bases de connaissances / Web / Big Data / cloud / TAL
Hélène Le Cadre
Théorie des jeux / Algorithmique des jeux / Problèmes d’équilibres / Optimisation mathématique / Marchés d’énergie
Giovanni Neglia
Apprentissage fédéré / Apprentissage en ligne / Systèmes en réseau / Réseaux de télécom
Gaëlle Calvary
Interaction Personne-Système / Ingénierie des systèmes interactifs / Contexte d’interaction / Adaptation des logiciels (plasticité des IHM) / Interaction incitative (persuasive technology)
Bruno Lévy
Physique computationelle / Maillages et EDP / Cosmologie / fluides / computer graphics (plus ancien)
Florence D'Alché-Buc
Machine/statistical learning / Structured prediction / Kernels / Deep learning / Trustworthy AI / Application to biology and chemistry
Camille Maumet
Neuroinformatique / Reproductibilité / Modélisation des connaissances / Statistiques / Imagerie cérébrale / partage de données
Fabrice Rastello
Optimisation de compilation (CPU, accélérateurs dédiés, HPC, embarqué) / Compiler design / Modèles d’architecture matérielle (performance) / analyse statique/dynamique, outils pour l’enseignement de la programmation
Frédéric Chyzak
Calcul formel / Algorithmes algébriques / Mathématiques expérimentales / une once de combinatoire
Frédéric Vivien
Jean-Baptiste Mouret
algorithmes évolutionnaires-évolutionnistes / robots à pattes (humanoïdes, quadrupèdes) / apprentissage par renforcement / drones
David Daney
robotique / Calcul scientifique / analyse / IoT / Optimisation / IHM
Guillaume Dujardin
Analyse numérique / Simulations numériques pour la physique / Mécanique quantique / Condensation de Bose-Einstein
Christine Solnon
Programmation par contraintes / Méta-heuristiques / Recherche Opérationnelle
