
Hala Skaf-Molli
Web de données / Web sémantique / Graphes de connaissances / Décentralization / Fédération

Christian Fabre
RISC-V / Open hardware / Architecture / Accélérateurs / Compilation / Système d’exploitation / :angages de programmation / HPC / sécurité

Philippe Merle
Systèmes et services distribués / Edge/fog/cloud computing / Intergiciel / Génie logiciel

É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

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

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

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

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

David Coudert
Algorithmique / Théorie des graphes / Optimisation combinatoire / Recherche opérationnelle / Réseaux (télécom, transports)

Éric Fabre
Méthodes formelles / Algorithmes et systèmes répartis / Systèmes stochastiques / Optimisation / Contrôle / Apprentissage machine / Théorie de l’information

Luc Maranget
Programmation fonctionnelle / Sémantique et implémentation des langages de programmation / Parallélisme (mémoire partagée) / Calculs de processus (anciennement)

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

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)

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

Jean-Baptiste Mouret
algorithmes évolutionnaires-évolutionnistes / robots à pattes (humanoïdes, quadrupèdes) / apprentissage par renforcement / drones