Institut de Recherche en Informatique et Systèmes Aléatoires

Departments and units

• Empenn Research facility
• DEVINE: Vérification efficace pour des systèmes distribués fiables Research facility
• HYCOMES: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Research facility
• MALT: Apprentissage Automatique avec Contraintes Temporelles Research facility
• HYBRID: 3D interaction with virtual environments using body and mind Research facility
• RAINBOW: robotique interactive et référencée capteurs Research facility
• GENSCALE: Algorithmes pour les données génomiques : passage à l'échelle, précision, frugalité Research facility
• LINKMEDIA: Creating and exploiting explicit links between multimedia fragments Research facility
• LACODAM: Fouille de données collaborative à grande échelle Research facility
• DIVERSE: Diversity-centric Software Engineering Research facility
• SEAMLESS: Interaction et collaboration fluides à travers le continuum réalité-virtualité Research facility
• CAPSULE: Cryptographie Appliquée et Sécurité des Implémentations Research facility
• KERDATA: Stockage et traitement de données sur le continuum Edge-Cloud-HPC Research facility
• MIMETIC: Analysis-Synthesis Approach for Virtual Human Simulation Research facility
• EPICURE: Analyse sémantique et compilation pour la sécurité des environnements d'exécution Research facility
• VIRTUS: Nous, virtuels Research facility
• COMBO: Biomécanique et Méthodes Numériques pour l'analyse de l'interaction humain-systèmes hors du laboratoire Research facility
• SUSHI: Sécurité à l'interface logiciel/matériel Research facility
• DYLISS: Dynamics, Logics and Inference for biological Systems and Sequences Research facility
• PIRAT: Protection de l'information et résistances aux attaques Research facility
• ERMINE: Gestion et mesures des opérations et de l'économie des réseaux Research facility
• TARAN: Architectures matérielles spécialisées pour l'ère post loi-de-Moore Research facility
• ARTISHAU: Intelligence artificielle : sécurité, traçabilité et audit Research facility
• PACAP: Pushing Architecture and Compilation for Application Performance Research facility
• MAGELLAN: Infrastructures Informatiques Fiables, Responsables, et Décentralisées Research facility
• WIDE: le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination Research facility
• COMPACT: Compression de donn'ees visuelles massives Research facility