Présentation

Le centre de recherche en informatique est un centre de recherche commun MINES ParisTech - ARMINES. Le centre s’inscrit dans la thématique du département Mathématiques et systèmes. Il se consacre à l’étude des langages de programmation ou de description de données utilisés par les technologies de l’information, en développant en particulier des techniques d’analyse sémantique et de transformation automatique destinées à répondre aux besoins industriels, administratifs et sociétaux. Les domaines d’applications sont multiples :

• utilisation des ordinateurs séquentiels ou parallèles (super-ordinateurs, GPU) efficace en temps de calcul, utilisation mémoire ou énergie ;
• aide à la preuve de spécifications informatiques afin d’assurer la correction des logiciels critiques ;
• conception et développement de langages spécifiques à un domain applicatif (DSL) particulier (physique, santé, musique, droit). 

Pour cela le centre a développé et continue de développer de nombreux partenariats industriels et académiques. Citons Sagem, Thalès, le ministère de la Justice ou l’hôpital Broca.

Plates-formes / Moyens expérimentaux / Logiciels

• Dedukti, un système d’aide à la spécification et à la preuve de programmes 
• PIPS, un environnement de compilation, analyse, parallélisation, instrumentation et transformation pour les langages Fortran et C
• Plinn, un outil de développement d’environnements collaboratifs

Expertises

• Programmation parallèle
• Calcul haute performance (HPC)
• Optimisation de code (temps d’exécution, énergie, coût de développement)
• Qualité et sécurité du logiciel
• Systèmes automatiques ou semi-automatiques de preuve de logiciels
• Langages spécifiques à un domaine (DSL) ou de description de données