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
L'objectif principal de l'équipe-projet AriC est d'améliorer, au moyen de l'arithmétique des ordinateurs, la qualité des calculs en général: performance, efficacité, précision, confiance.
Centre(s) inria
Grenoble - Rhône-Alpes
En partenariat avec
CNRS,Université Claude Bernard (Lyon 1),Ecole normale supérieure de Lyon
Membres de l'équipe-projet
Responsable de l'équipe
Benamor Chiraz
Assistant(e) de l'équipe
Dans l'actualité
Actualité
©Fondation L’Oréal
Ida Tucker, jeune talent L’Oréal-UNESCO
Actualité
Deux chercheuses Inria lauréates de la Bourse L’Oréal-UNESCO
Actualité
© Inria / Photo C. Morel
Cryptographie post-quantique : forte présence d’Inria au NIST
Actualité
Geralt via Pixabay, CC0
Intelligence artificielle : quand les machines apprennent à oublier
Actualité
