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 Les deux révisions suivantes
ufr:presentation_ufr [13/09/16 12:15]
admin [L'UFR en quelques chiffres...]
ufr:presentation_ufr [13/09/16 12:23]
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 ​à l'​Institut ​de Recherche en Informatique Fondamentale
-  * [[ 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: 02/10/19 11:17 par admin