Bienvenue au Centre de Recherche en Informatique (CRI) de MINES Paris. Le CRI se consacre à l'étude des langages utilisés par les technologies de l'information (langages de programmation, de description de données, d'interrogation ou semi-formels, voire naturels) et développe des techniques d'analyse sémantique et de transformations automatiques destinées à répondre aux besoins industriels (performance, consommation d'énergie, sécurité, coût de développement, time-to-market) et aux besoins administratifs et sociétaux (partage d'information cohérente, normalisation des données, accès à l'information, sauvegarde du patrimoine).

Actualités

Parallélisme au Rwanda31/03/2023
Parallélisme au Rwanda
Topos-empowered automatic theorem generation17/09/2024Séminaire, Olivia Caramello
Topos-empowered automatic theorem generation
Présentation des posters réalisés à l'occasion de cette journée18/06/2024Séminaire, Restitution des journées JED2A
Présentation des posters réalisés à l'occasion de cette journée
Performance and Energy Efficiency of HPC workloads on x86 architectures16/04/2024Séminaire, Roblex Nana Tchakoute
Performance and Energy Efficiency of HPC workloads on x86 architectures
Mesurer la consommation énergétique des applications informatiques16/01/2024Séminaire, Antoine Solcourt
Mesurer la consommation énergétique des applications informatiques
Université PSLInstitut Mines-TelecomParisTechCarnot M.I.N.E.SArmines