Détail d'une fiche   Version PDF

ARIC (SR0539JR)

Arithmétiques des ordinateurs, méthodes formelles, génération de code

ARIC (SR0495ZR) →  ARIC


Statut: Décision signée

Responsable : Bruno Salvy

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A2.4. Méthodes formelles pour vérification, sureté, certification , A4.3. Cryptographie , A7.1. Algorithmique , A8. Mathématiques pour l'informatique , A8.1. Mathématiques discrètes, combinatoire , A8.4. Calcul formel, calcul algébrique , A8.5. Théorie des nombres , A8.10. Arithmétique des ordinateurs

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B6.6. Systèmes embarqués , B9.5. Sciences , B9.10. Confidentialité, vie privée

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Algorithmique, calcul formel et cryptologie

Période : 01/01/2013 -> 31/12/2024
Dates d'évaluation : 17/03/2015 , 19/03/2019 ,

Etablissement(s) de rattachement : CNRS, U. LYON 1 (UCBL), ENS LYON
Laboratoire(s) partenaire(s) : LIP (UMR5668)

CRI : Centre Inria de Lyon
Localisation : Ecole normale supérieure de Lyon - Laboratoire de l'Informatique du Parallélisme (LIP)
Code structure Inria : 121012-0

Numéro RNSR : 201221021B
N° de structure Inria: SR0539JR

Présentation

AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en allant du hardware à des questions de complexité algébrique.


Axes de recherche

Arithmétique en virgule flottante, approximation efficace et calculs certifiés; réseaux euclidiens : algorithmes  et cryptographie; calcul formel et complexité algébrique.

 


Relations industrielles et internationales

ST Microelectronics, Kalray, Intel