Equipe-projet
ARIC
Arithmétiques des ordinateurs, méthodes formelles, génération de code
Arithmétiques des ordinateurs, méthodes formelles, génération de code
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.
Centre(s) inria
Grenoble - Rhône-Alpes
En partenariat avec
CNRS,Université Claude Bernard (Lyon 1),Ecole normale supérieure de Lyon
Membres
Responsable de l'équipe
Chiraz Benamor
Assistant(e) de l'équipe
Dans l'actualité
Communication - Evénement
SuperComputing 2017 : Inria sera présent à la conférence mondiale du Calcul Haute Performance, Réseaux, Stockage et Big Data
© Inria / Photo C. Morel
Cryptographie post-quantique : forte présence d’Inria au NIST
Prix & Distinctions
©Fondation L’Oréal
