201621976X : IRIF Institut de Recherche en Informatique Fondamentale
- Unité de recherche
Adresse : Université Paris Diderot - Bât. Sophie Germain - 8 place Aurélie Nemours 75013 Paris
Site : https://www.irif.fr/
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.
Ecole(s) doctorale(s) de rattachement :
non renseignée
Rattachée au(x) thème(s) de recherche suivant(s):
- Mathématiques en interaction avec l'informatique
- Informatique
Liens avec d'autres structures :
Regroupe :
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)
- Unité mixte 201621976X - Institut de Recherche en Informatique Fondamentale (lien non exclusif)
Contact: direction@irif.fr
Année de création : 2016
Site ESR :
Aucun
Classement scientifique ERC :
- PE1 : Mathematics : All areas of mathematics, pure and applied, plus mathematical foundations of computer science, mathematical physics and statistics
- PE6 : Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2016
- 1 : Mathématiques et leurs interactions 2016
|
CNRS
-
Centre national de la recherche scientifique
(UMR 8243)
(établissement tutelle à partir de 2016) |
|
|
INRIA
-
Institut national de la recherche en informatique et automatique
(établissement participant à partir de 2016) |
|
|
U PARIS Cité
-
Université Paris Cité
(UMR 8243)
(établissement tutelle à partir de 2020) |
Etablissement référent |
-
Filiation
Structure(s) mère(s) :- 200112512A - Preuves, Programmes et Systèmes (fusion)
- 199912477W - Laboratoire d'Informatique Algorithmique: Fondements et Applications (fusion)
-
Libellé(s) de structure
- 22/01/2016 : IRIF
-
Responsable
- 01/01/2018 - 31/12/2022 : Frederic MAGNIEZ (DIR)
- 01/01/2018 - 31/12/2022 : Giuseppe CASTAGNA (DIR-ADJ)
- 01/01/2016 - 31/12/2017 : Thomas EHRARD (DIR-ADJ)
-
Label et Numéro d'établissement
-
05/12/2017 : UMR 8243
CNRS - Centre national de la recherche scientifique (UMR 8243)
-
05/12/2017 : UMR 8243
-
Thème(s) de recherche
- 2016 - 2016 : Mathématiques pures
-
Etablissements
- 2016 - 2019 : PARIS 7- Université Paris Diderot Paris 7