Equipes de recherche du centre Nancy
Mathématiques appliquées, calcul et simulation
Approches stochastiques
Optimisation et contrôle de systèmes dynamiques
Algorithmique, programmation, logiciels et architectures
Preuves et vérification
- MOCQUA - Designing the Future of Computational Models
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
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é
Réseaux et télécommunications
Systèmes distribués et intergiciels
Perception, Cognition, Interaction
Vision, perception et interprétation multimedia
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
