Le Centre de recherche en informatique (CRI),

..... Mathématiques et systèmes,
............. Mines Paris - PSL 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
..... transformation 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).