Détail d'une fiche   Version PDF

PASCALINE (SR0975YR)

Arithmétique des ordinateurs, calcul formel et vérification formelle

ARIC (SR0539JR) →  PASCALINE


Statut: Décision signée

Responsable : Nicolas Brisebarre

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2024" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2024" : Aucun mot-clé.

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

Période : 01/02/2025 -> 31/01/2029
Dates d'évaluation :

Etablissement(s) de rattachement : ENS LYON, U. LYON 1 (UCBL), CNRS
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 : 121035-0

Numéro RNSR : 202524655V
N° de structure Inria: SR0975YR

Présentation


Axes de recherche


Relations industrielles et internationales