Accueil > Centres de recherche departements thematiques > Mathématiques appliquées informatique et automatique 7

institut Carnot M.I.N.E.S, la recherche partenariale | Des recherches fécondes pour créer de la valeur avec l'entreprise et activer la chaîne de l’innovation avec nos laboratoires

Centre de Recherche en Informatique (CRI)

MINES ParisTech

Retour à la liste des centres

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
Directeur du centre : François Irigoin
Tél. : (33) 01 64 69 48 48
Adresse : 35 rue Saint Honoré 77305 Fontainebleau Cedex France

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

 

Le centre en images

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

Travailler avec l'institut Carnot M.I.N.E.S

Selon les besoins exprimés et la spécificité de chaque projet, six types de partenariats sont possibles :

  • la recherche directe (du projet court au programme de recherche pluriannuel) ;
  • la recherche collaborative ;
  • des tests et essais sur des plateformes technologiques ;
  • du conseil et de l’expertise ;
  • des laboratoires communs ;  
  • thèse CIFRE

Consultez-nous

Carnot mines institutes members parteners