Utilisateur:Yann.regis-gianas/Brouillon
L'IRIF est l'Institut de Recherche en Informatique Fondatementale. C'est une unité mixte de recherche entre le CNRS et l'Université de Paris.
Présentation[modifier | modifier le code]
L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'université Paris-Diderot, qui héberge deux équipes-projets INRIA.
Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.
| Fondation |
2018 |
|---|
| Code |
UMR 8243 |
|---|---|
| Domaine d'activité | |
| Campus | |
| Siège | |
| Pays |
| Effectif |
Environ 200 (enseignants-chercheurs, chercheurs et doctorants) |
|---|---|
| Direction |
Frédéric Magniez |
| Affiliation |
Histoire[modifier | modifier le code]
Le LITP a été créé en 1972 par Maurice Nivat, Louis Nolin et Marcel-Paul Schützenberger. Ce laboratoire associé au CNRS avait pour ambition de participer à la construction de l’Informatique Théorique.
Les origines : le LITP de Jussieu[modifier | modifier le code]
Maurice Nivat et Jacques Arsac / ? (1975-1976)
Maurice Nivat / Bernard Robinet (1981-1985)
Jean Berstel / ? (1985 - 1986)
Jacques Sakarovitch / ? (1986 - 1987)
Dominique Perrin / Irène Guessarian (1987-1988)
Jean-Eric Pin / ? (1994-1997)
Le LITP à Paris 7 : le LIAFA puis PPS[modifier | modifier le code]
Directeurs du LIAFA (Créé en 1995) puis de l'IRIF
Daniel Krob / ? (1997-2002)
Jean-Eric Pin / Ahmed Bouajjani et Anca Muscholl (2003–2008)
Michel Habib
Pierre Fraigniaud / Valérie Berthé
L’IRIF : La fusion du LIAFA et PPS[modifier | modifier le code]
Pierre Fraigniaud / Thomas Ehrhard (2016-2018)
Frédéric Magniez / Giuseppe Castagna (2018-...)
Pôles thématiques[modifier | modifier le code]
- Pôle Algorithmes et structures discrètes
- Algorithmes et complexité
- Combinatoire
- Systèmes complexes, réseaux, calcul distribué
- Théorie et algorithmique des graphes
- Pôle Automates, structures et vérification
- Automates et applications
- Modélisation et vérification
- Pôle Preuves, programmes et systèmes
- Algèbre et calcul
- Analyse et conception de systèmes
- Preuves et programmes
Références[modifier | modifier le code]
Site web IRIF
Liens externes[modifier | modifier le code]
- → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
- → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.
Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :
- Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
- Indiquez les éléments démontrant la notoriété du sujet (aide).
- Liez chaque fait présenté à une source de qualité (quelles sources – comment les insérer).
- Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
- Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).
- → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.