Bienvenue aux Mines Paristech
Bienvenue à MINES ParisTech
Newsletter International
Website
Théorie & Pratique
Vous êtes

Recherche

webTV

Lecture

Conférence éthique et intelligence artificielle : Elise Berlinski

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Carlos Adrian Correa Florez, MINES ParisTech PhD, PERSEE center

Lecture

Certificat exécutif : digital native, 3 questions à...

Lecture

Lancement de la Chaire industrielle ANR TOPAZE

+ TOUS

Partager

Centre de recherche en informatique (CRI)

Le Centre de recherche en informatique 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, 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).

Accéder au site du centre de recherche

 

 


+ de publications

Les dernières publications

Emilio Jesús Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs. The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms FARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩

Claude Tadonki. High Performance Optimization at the Door of the Exascale Rapport, [Research Report] A-754.pdf, MINES ParisTech - PSL Research University. 2021

Adilla Susungi, Claude Tadonki. Intermediate Representations for Explicitly Parallel Programs ACM Computing Surveys, Association for Computing Machinery, 2021, 54 (5), pp.1-24. ⟨10.1145/3452299⟩

Arthur Aubertin. Réseau acoustique de communication bidirectionnelle ultrasonore efficace en milieu fermé Réseaux et télécommunications [cs.NI]. Université Paris sciences et lettres, 2021. Français. ⟨NNT : 2021UPSLM007⟩

Lucas Massoni Sguerra, Pierre Jouvelot, Emilio Jesús Gallego Arias, Gérard Memmi, Fabien Coelho. Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper) FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States

Luc Perera, Pierre Jouvelot. Esprits critiques : application au projet Tala Sound 7ème édition du Printemps de la Recherche en Éducation, Mar 2021, PARIS, France

actualité

Le Rapport d'activité 2020 est en ligne

Formation Le Rapport d'activité 2020 est en ligne Image de couverture du RA 2020, inspirée par des recherches du…
> En savoir +

Une santé de fer !<br>
Minéraux et santé, de l'Antiquité à nos jours

Formation Une santé de fer ! Minéraux et santé, de l'Antiquité à… Oeuvre originale d'Alice Besson-Léaud et Constance de…
> En savoir +

Pourquoi éclipser le solaire ?

Formation Pourquoi éclipser le solaire ? Philippe Blanc : « rétablir certaines vérités sur le…
> En savoir +

DigiTraining lance un appel aux musées européens

International DigiTraining lance un appel aux musées européens DigiTraining veut mettre les nouvelles technologies au…
> En savoir +

EcorcAir et les platanes du Quartier latin

Formation EcorcAir et les platanes du Quartier latin Prélèvement d'écorces de platane par Christine Franke, pilote du…
> En savoir +

Rentrée 2021 du MS MSIT (Mines - Dauphine)

Formation Rentrée 2021 du MS MSIT (Mines - Dauphine) 2o ans d'expérience et un nouveau départ pour le MS…
> En savoir +

+ Toutes les actualités

agenda

Le 30 septembre 2021 Scénarios d'une France « renouvelable »

Le 23 septembre 2021 Poésie des pierres

Du 15 septembre au 14 octobre 2021 Festival Musique aux Mines

Du 20 juillet 2021 au 3 janvier 2022 Rentrée 2021 - 2022

+ Tous les événements

contact

François IRIGOIN
Directeur du CRI



Fabien COELHO
Directeur-adjoint du CRI

 

> envoyer un mail Téléphone : 01 64 69 48 48
 

Plan du site
MINES
ParisTech

60, Boulevard Saint-Michel
75272 PARIS Cedex 06
Tél. : +33 1 40 51 90 00

Implantations
Mentions légales | efil.fr | ©2012 MINES ParisTech | +33 1 40 51 90 00 |