Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

201621976X : IRIF Institut de Recherche en Informatique Fondamentale 
Unité de recherche   (situation 2024) 

Responsable(s)

Directeur - Giuseppe CASTAGNA à partir du 01/01/2023 ( giuseppe.castagna@cnrs.fr )

Etablissements.
CNRS CNRS - Centre national de la recherche scientifique (UMR 8243)
(établissement tutelle à partir de 2016)
U PARIS Cité U PARIS Cité - Université Paris Cité (UMR 8243)
(établissement tutelle à partir de 2020)
Etablissement référent
INRIA INRIA - Institut national de la recherche en informatique et automatique ( )
(établissement participant à partir de 2016)
Adresse
Université Paris Diderot - Bât. Sophie Germain - 8 place Aurélie Nemours
75013 Paris
   Contact
  courriel : direction@irif.fr
Site web : https://www.irif.fr/
Taille en ETP (sans compter les stagiaires): supérieure à 50.
Descriptif :
Le profil d'activités de l'IRIF est centré sur l'étude des fondements de l'informatique. Son but est la production de connaissances visant à une meilleure compréhension et une utilisation plus efficace des objets et concepts au coeur de la discipline, à savoir les algorithmes et les programmes. Les objectifs scientifiques de l'IRIF se situent au c¿ur de l'informatique, se focalisant sur la conception, l'analyse, la preuve et la vérification d'algorithmes et de programmes, appuyé sur des recherches fondamentales.
Année de création : 2016
Mission de la structure : Recherche
Mode de gestion de la structure : Non renseigné.
SIRET de la structure : Non renseigné.
Classement scientifique ERC
 - PE6 : Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems
 - PE1 : Mathematics : All areas of mathematics, pure and applied, plus mathematical foundations of computer science, mathematical physics and statistics
Domaine scientifique
 - 1 : Mathématiques et leurs interactions 2016 0
 - 9 : Sciences et technologies de l'information et de la communication 2016 0
Ecole(s) doctorale(s) de rattachement
Non renseigné
Rattachée au(x) programme(s) LOLF suivant(s):
 - prg150-07 : Recherche universitaire en mathématiques, sciences et techniques de l’information et de la
Rattachée au(x) thème(s) de recherche suivant(s):
Mathématiques en interaction avec l'informatique; Informatique;
Origine de la structure
fusion en 2016 de :
 -  199912477W - Laboratoire d'Informatique Algorithmique: Fondements et Applications
 -  200112512A - Preuves, Programmes et Systèmes
Liens avec d'autres structures :
Regroupe :
 -  Unité mixte 201621976X - Institut de Recherche en Informatique Fondamentale   (lien non exclusif)
 -  Unité propre 202224371Z - Les assistants à la démonstration au cœur du raisonnement mathématique   (lien non exclusif)

Participe à :
 -  Unité mixte 201621976X - Institut de Recherche en Informatique Fondamentale   (lien non exclusif)
Site ESR :
Aucun.

Fiche mise à jour par Alexandre Fabrer le 18/01/2024 à 10:02