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
Dernière révision Les deux révisions suivantes
ufr:presentation_ufr [02/09/15 11:18]
admin
ufr:presentation_ufr [13/09/16 12:24]
admin [Recherche]
Ligne 8: Ligne 8:
   * 7 agents BIATOSS qui en assurent le suivi pédagogique,​ administratif et technique,   * 7 agents BIATOSS qui en assurent le suivi pédagogique,​ administratif et technique,
   * 15 professeurs des Universités,​ 31 maîtres de conférences,​ 2 professeurs associés,   * 15 professeurs des Universités,​ 31 maîtres de conférences,​ 2 professeurs associés,
-  * 31 chercheurs du CNRS et 6 chercheurs INRIA qui sont rattachés ​aux laboratoires ​LIAFA et PPS+  * 31 chercheurs du CNRS et 6 chercheurs INRIA qui sont rattachés ​au laboratoires ​[[https://​www.irif.univ-paris-diderot.fr/​|IRIF]]
-  * 5 agents ITA et un agent BIATOSS qui assurent le fonctionnement technique et administratif ​des laboratoires ​LIAFA et PPS+  * 5 agents ITA et un agent BIATOSS qui assurent le fonctionnement technique et administratif ​du laboratoires ​[[https://​www.irif.univ-paris-diderot.fr/​|IRIF]]
   * 5 ATER et 39 moniteurs...   * 5 ATER et 39 moniteurs...
  
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é Parid 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: 02/10/19 11:17 par admin