Equipes de recherche du centre Nancy
Mathématiques appliquées, calcul et simulation
Optimisation et contrôle de systèmes dynamiques
Algorithmique, programmation, logiciels et architectures
Preuves et vérification
Sécurité et confidentialité
Algorithmique, calcul formel et cryptologie
- CARAMBA - Cryptology, arithmetic : algebraic methods for better algorithms
- GAMBLE - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
Architecture, langages et compilation
Réseaux, systèmes et services, calcul distribué
Systèmes distribués et intergiciels
Perception, Cognition, Interaction
Interaction et visualisation
Représentation et traitement des données et des connaissances
Robotique et environnements intelligents
Langue, parole et audio
Santé, biologie et planète numériques
Sciences de la planète, de l'environnement et de l'énergie
Biologie numérique
- BIGS - Biologie, génétique et statistiques
- CAPSID - Computational Algorithms for Protein Structures and Interactions