Différences

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

Lien vers cette vue comparative

laboratoires [2015-03-11 15:10] (Version actuelle)
Ligne 1: Ligne 1:
 +====== Les Laboratoires de la fédération ======
 +
 +La Fédération de recherche est constituée des 5 unités suivantes,​dont les compétences recouvrent tous les domaines importants d'​unspectre scientifique allant des mathématiques et informatique fondamentales à leurs applications les plus variées :
 +
 +  * [[http://​www.institut.math.jussieu.fr/​|Institut de Mathématiques de Jussieu]] (UMR 7586) (UPMC, CNRS, UPD)
 +    * **Projets**:​ Algèbres d'​opérateurs. Analyse algébrique. Analyse complexe. Analyse fonctionnelle. Combinatoire et Optimisation. Formes automorphes. Géométrie et dynamique. Groupes finis. Histoire des sciences mathématiques. Logique Mathématique. Théorie des groupes. Théorie des nombres. Topologie et géométrie algébriques.
 +
 +  * [[http://​www.ann.jussieu.fr/​|Laboratoire Jacques Louis Lions]] (UMR 7598) (UPMC, CNRS)
 +    * **Thèmes** : Modélisation,​ analyse des équations aux dérivées partielles, analyse numérique et calcul scientifique en mécanique des fluides et des structures, propagation d'​ondes,​ physique et chimie théoriques,​ médecine et sciences de la vie, traitement du signal et de l'​image,​ finance.
 +
 +  * [[http://​www.proba.jussieu.fr/​|Laboratoire de Probabilités et Modèles Aléatoires]] (UMR 7599) (UPMC, CNRS, UPD)
 +    * **Thèmes**:​ Théorie ergodique et systèmes dynamiques, modélisation stochastique,​ mouvement brownien et calcul stochastique,​ statistiques,​ probabilités numériques et mathématiques financières.
 +
 +  * [[http://​www.pps.jussieu.fr/​|Laboratoire Programmes, Preuves et Systèmes]] (UMR 7126) (UPD, CNRS)
 +    * **Thèmes**:​ Jeux et modèles de la programmation,​ théorie de la démonstration et lambda-calcul,​ spécifications et réalisabilité,​ réécriture,​ programmation,​ logique, concurrence et modélisation.
 +
 +  * [[http://​www.liafa.jussieu.fr/​|Laboratoire d'​Informatique Algorithmique Fondements et Applications]] (UMR 7089) (UPD, CNRS)
 +    * **Thèmes**:​ Algorithmique et combinatoire,​ automates et applications,​ modélisation et vérification.
 +