Equipe-projet ACUMES Analysis and Control of Unsteady Models for Engineering Sciences Le projet se focalise sur l'analyse et le contrôle optimal de systèmes d'EDP instationnaires...
Equipe-projet AUCTUS Des robots au service de l'humain au travail L'objectif de l'équipe Auctus est d’ imaginer les robots collaboratifs du futur . La capacité d...
Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet CANARI Analyse cryptographique et arithmétique Le but de l'équipe Canari est de développer des algorithmes efficaces pour traiter les objets du...
Equipe-projet CEDAR Analyse et traitement de données complexes à grande échelle Les applications à usage intensif de données de présentent un très grand degré d'hétérogénéité, dû...
Equipe-projet DIANA Conception, Mise en oeuvre et Analyse d'Architectures Réseau L’équipe DIANA mène des recherches dans le domaine des réseaux, et en particulier sur la conception...
Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
Equipe-projet EDGE Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation Notre activité de recherche se situe dans le domaine de la recherche opérationnelle (R.O.) et de la...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet EVERGREEN Observation de la terre et apprentissage machine pour les défis agro-environnementaux L'équipe EVERGREEN travaille activement à la conception et à la mise en œuvre de techniques d...
Equipe-projet FUN self-organizing Future Ubiquitous Network L'équipe FUN étudie des solutions pour rendre plus utilisables (en termes de programmation, d...
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics Algorithmes pour la génomique, adaptés aux grandes masses de données, optimisés et parallèles...
Equipe-projet KERDATA Scalable Storage for Clouds and Beyond Stockage et traitement de données pour infrastructures distribuées à très grande échelle Les...
Equipe-projet LACODAM Fouille de données collaborative à grande échelle Le but de l’équipe LACODAM est de faciliter considérablement le processus visant à expliciter du...