Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...
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...
Equipe-projet STACK Pile logicielle pour les infrastructures massivement géo distribuées L'équipe STACK s'attaque aux défis liés à la gestion et l'utilisation avancées des infrastructures...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet CAPSULE Cryptographie Appliquée et Sécurité des Implémentations Les activités de recherche de l'équipe CAPSULE sont organisés autour de 5 axes de recherches, 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 I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures La surveillance d'intégrité de structures (ou SHM, pour Structural Health Monitoring) désigne la...
Equipe-projet DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Le but du projet est de modéliser les acteurs clés de processus d'adaptation biologiques, en...
Equipe-projet MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation Analyse et synthèse pour la simulation d'humains virtuels MimeTIC s'intéresse à concevoir des...
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 RAINBOW robotique interactive et référencée capteurs La vision à long terme de l'équipe Rainbow est de développer la prochaine génération de robots à...
Equipe-projet MINGUS Schémas numériques géométriques multi-échelles Le groupe de recherche MINGuS se concentre sur l'analyse mathématique et numérique d'équations aux...
Equipe-projet SIMSMART SIMulation pARTiculaire de Modèles Stochastiques Simsmart est une équipe de recherche en statistique et probabilités numériques, dédiée à l'étude...