===== Présentation =====

L'Institut de Recherche en Informatique Fondamentale (IRIF) est une unité mixte de recherche (UMR 8243) entre le [[http://www.cnrs.fr|CNRS]] et l'[[http://www.u-paris.fr/|Université Paris Cité]],
qui héberge une équipe-projet [[http://www.inria.fr|Inria]]. 
Il est issu de la fusion des deux UMR [[http://archives.liafa.univ-paris-diderot.fr|LIAFA]] et [[http://archives.pps.univ-paris-diderot.fr|PPS]]
 au 1er janvier 2016.
L'IRIF est aussi membre de la [[http://www.sciencesmaths-paris.fr|Fondation Sciences Mathématiques de Paris (FSMP)]]
et de trois Domaines d’Intérêt Majeur de la région Ile-de-France : [[https://www.dim-mathinnov.fr|Math Innov]], [[https://dim-rfsi.fr|Sciences Informatiques]], [[https://www.sirteq.org|Technologies Quantiques]].
/* et de la Fédération de Recherche en Mathématiques de Paris Centre ([[http://www.federation.math.jussieu.fr|MP]]).*/


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. 

En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données, les fondements des langages de programmation, le développement logiciel, la vérification et la certification. L’IRIF effectue aussi une recherche interdisciplinaire mettant à profit sa démarche scientifique.

L’IRIF s'appuie sur des concepts mathématiques développés et étudiés en son sein, notamment en combinatoire, théorie des graphes, logique et algèbre. Ces travaux contribuent aussi directement aux mathématiques, notamment en physique combinatoire, probabilités, catégories, théorie de la preuve, et preuves assistées par ordinateur. 


Au CNRS, l'IRIF est principalement rattaché à l'Institut National des Sciences de l'Information et de leurs Interactions ([[http://www.cnrs.fr/ins2i/|INS2I]]) et, secondairement, à l'Institut National des Sciences Mathématiques et de leurs Interactions ([[http://www.cnrs.fr/insmi/|INSMI]]). 
L'IRIF est membre de l'[[http://www.informatique.univ-paris-diderot.fr/|UFR d'informatique]] de l'Université Paris Cité, et accueille également en son sein plusieurs membres de l'[[https://www.math.univ-paris-diderot.fr|UFR de mathématiques]]. 
Enfin, l'IRIF est associé à l'école doctorale des Sciences Mathématiques de Paris Centre ([[http://ed386.sorbonne-universite.fr/|ED 386]]).

L'IRIF est structuré en neuf équipes thématiques regroupées en trois pôles de recherche : 

  * Pôle [[poles:asd:index]]
       * [[equipes:algocomp:index]]
       * [[equipes:combi:index]]
       * [[equipes:distribue:index]] 
       * [[equipes:graphes:index]] 
  * Pôle [[poles:asv:index]]
       * [[equipes:automates:index]]
       * [[equipes:verif:index]]
  * Pôle [[poles:pps:index]]
       * [[equipes:algebre:index]]
       * [[equipes:systemes:index]] 
       * [[equipes:preuves:index]] 

L'IRIF compte actuellement une centaine de membres permanents, 
se répartissant environ en 50 enseignant·e·s-chercheurs·euses, 27 chercheur·e·s CNRS, 
5 chercheurs·euses INRIA, 8 membres émérites et 8 personnels administratifs ou techniques (en mars 2022). 
L'effectif total de l'IRIF, incluant doctorant·e·s, postdoctorant·e·s, ATER 
et visiteurs·euses de longue durée s'élève à près de deux cents personnes.

Six membres de l'IRIF ont été lauréat·e·s de l'[[https://erc.europa.eu|European Research Council (ERC)]], six sont membres de l'[[http://www.iufrance.fr|Institut Universitaire de France (IUF)]], deux sont membres de l'[[http://www.ae-info.org|Academia Europæa]], et une est membre de l'[[https://www.academie-sciences.fr/|Académie des sciences]]. 

**{{ :informations:brochure-fr.pdf |Brochure IRIF}} ({{:informations:brochure-en.pdf |english version}})**


\\
<div third column centeralign>
=== Organismes de tutelle === 

----
<div half column indent>
[[http://www.u-paris.fr|{{ ::LogoUp.png?0x60 |Université Paris Cité}}]]
</div>
<div half column>
[[http://www.cnrs.fr|{{:informations:logo_cnrs_bleu.png?direct&60 |}}]]
</div>
</div>

<div third column centeralign>
=== UFR de rattachement ===

----

[[http://www.informatique.univ-paris-diderot.fr|Informatique]] 

[[http://www.math.univ-paris-diderot.fr|Mathématiques]]
</div>

<div third column centeralign>
=== Partenaires ===

----
<div half column>
[[http://www.inria.fr|{{ ::logoinria.png?0x40 |INRIA}}]]
</div>
<div half column>
[[http://www.sciencesmaths-paris.fr|{{ ::logofsmp.png?0x40 |Fondation Sciences Mathématiques de Paris}}]]
</div>
<div clear></div>
<div third column>
[[https://www.dim-mathinnov.fr|{{ ::logomathinnov.png?0x40 |Math-Innov}}]]
</div>
<div third column>
[[https://dim-rfsi.fr|{{ ::logorfsi.png?0x40 |RFSI}}]] 
</div>
<div third column>
[[https://www.sirteq.org|{{ ::logosirteq.png?0x40 |SIRTEQ}}]]
</div>