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

31/03/2023
Parallélisme au Rwanda

17/09/2024 – Séminaire, Olivia Caramello
Topos-empowered automatic theorem generation

18/06/2024 – Séminaire, Restitution des journées JED2A
Présentation des posters réalisés à l'occasion de cette journée

16/04/2024 – Séminaire, Roblex Nana Tchakoute
Performance and Energy Efficiency of HPC workloads on x86 architectures

16/01/2024 – Séminaire, Antoine Solcourt
Mesurer la consommation énergétique des applications informatiques