ARMINES, acteur de l'innovation par la recherche partenariale | Première structure française de recherche orientée vers les entreprises, adossée à 48 centres de recherche

Armines - Bandeau domaines de recherche

LES CENTRES DE RECHERCHE

Retour à la liste des centres

Centre de Recherche en Informatique (CRI)

Mines Paris - PSL

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.

Contacts


  • Nom du centre : Centre de Recherche en Informatique (CRI)
  • Ecole de rattachement : Mines Paris - PSL
  • Directeur du centre : Corinne ANCOURT
  • Adresse : 35 rue Saint Honoré 77305 Fontainebleau Cedex France
  • Tél. : +33 (1) 64 69 48 49
  • Courriel :

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

 

Offres domaines d'application

1 proposition de recherche partenariale


Le centre en images

centre image
centre image
centre image
centre image
centre image
centre image
centre image