Outils pour utilisateurs

Outils du site


ufr:presentation_ufr

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
ufr:presentation_ufr [13/09/16 12:15]
admin [L'UFR en quelques chiffres...]
ufr:presentation_ufr [13/09/16 12:24]
admin [Recherche]
Ligne 48: Ligne 48:
 ===== Recherche ===== ===== Recherche =====
  
-La recherche est menée ​dans deux laboratoires regroupés au sein de la [[http://www.fifp.univ-paris-diderot.fr | Fédération d'​Informatique Fondamentale ​de Paris-Diderot ]]  : le LIAFA et PPS, deux UMR CNRS & Université Paris Diderot: +La recherche est menée ​à [[https://www.irif.univ-paris-diderot.fr|l'Institut de Recherche en Informatique Fondamentale ​(IRIF)]]
-  * [[ http://​www.liafa.univ-paris-diderot.fr/​ |  Laboratoire d'​Informatique Algorithmique:​ Fondements et Applications ]]  +
-  * [[ http://​www.pps.univ-paris-diderot.fr/​ | Preuves, Programmes et Systèmes ​]] +
  
-Le LIAFA et PPS sont membres ​de la Fondation ​de Sciences Mathématiques ​et de la Fédération ​de Recherche en Mathématiques ​de Paris Centre.+L'​Institut ​de Recherche en Informatique Fondamentale (IRIF) est une unité mixe de recherche entre le [[http://​www.cnrs.fr/​|CNRS]] ​et de [[http://​www.univ-paris-diderot.fr/​|l'​Université Paris-Diderot]].  
 + 
 +L'IRIF est issu de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. Ses objectifs scientifiques se déclinent selon trois grandes thématiques au cœur de l'​informatique : 
 + 
 +  * Fondements mathématiques ​de l’informatique 
 +  * Modèles de calcul et preuves 
 +  * Modélisation,​ algorithmes et conception de systèmes
ufr/presentation_ufr.txt · Dernière modification: 13/09/16 12:24 par admin