Institut national de recherche en informatique et en automatique

Un article de Wikipédia, l'encyclopédie libre.
Ceci est une version archivée de cette page, en date du 12 janvier 2011 à 22:03 et modifiée en dernier par Xgen (discuter | contributions). Elle peut contenir des erreurs, des inexactitudes ou des contenus vandalisés non présents dans la version actuelle.
Institut national de recherche
en informatique et en automatique
Le bâtiment d'INRIA à Palaiseau, sur le campus de l’École polytechnique.
Histoire
Fondation
Cadre
Sigle
InriaVoir et modifier les données sur Wikidata
Type
Forme juridique
Domaine d'activité
Siège
Pays
Organisation
Effectif
3 900 employés ()Voir et modifier les données sur Wikidata
Doctorants
1 000
Président
Direction
Michel Cosnard
Budget
334 M ()Voir et modifier les données sur Wikidata
Site web
Identifiants
SIREN
OpenCorporates
data.gouv.fr

L'Institut national de recherche en informatique et en automatique (INRIA) est un établissement public à caractère scientifique et technologique créé le 3 janvier 1967 suite au lancement du Plan Calcul.

Son ambition est de mettre en réseau les compétences et talents de l'ensemble du dispositif de recherche français, dans le domaine des sciences et technologies de l'information et de la communication.

La fondation de l'INRIA remonte à 1967 sous le nom de IRIA (Institut de Recherche en Informatique et en Automatique). L'IRIA est devenue INRIA en 1979 (décret du 27 decembre). L'institut a donc fêté ses quarante ans en 2007.

Le premier centre créé, celui de Rocquencourt, est situé dans les anciens bâtiments du quartier-général de l'OTAN en Europe. Le site de Rocquencourt accueille le centre de recherche mais aussi le siège de l'institut. L'INRIA est désormais composé de 8 centres de recherche autonomes répartis sur tout le territoire Français.

L'INRIA est signataire du Pacte PME depuis le 17 décembre 2008.

Centres de recherche

L'INRIA a une structure décentralisée qui comprend 8 centres de recherche :

Les centres de recherche Bordeaux - Sud-Ouest, Lille - Nord Europe et Saclay - Île-de-France faisaient partie jusqu'à décembre 2007 de l'unité de recherche INRIA-Futurs.

L'INRIA et Microsoft Research ont inauguré, le [2], un centre de recherche commun situé à Saclay.

L'INRIA est partenaire fondateur, avec l'Académie des Sciences de Chine, du laboratoire sino-français LIAMA[3].

Participation à l'espace européen de la recherche

L'INRIA participe à l'espace européen de la recherche à travers le consortium ERCIM, dont il a été l'un des membres fondateurs en 1989. ERCIM participe au W3C.

Directeurs de l'INRIA

Présidents-directeurs généraux

Laurent Kott a assuré la continuité de cette fonction après le départ d'Alain Bensoussan (1996), celui de Bernard Larrouturou (juillet 2003 - décembre 2003) et après le mandat de Gilles Kahn (février 2006-mai 2006).

Quelques projets de l'IRIA puis de l'INRIA

  • Le réseau Cyclades, une préfiguration d'Internet entre 1972 et 1978.
  • Les langages de programmation Tom (recherche de motifs) et Esterel (automates à états), ainsi que Bigloo, une implémentation du langage Scheme (un dialecte de Lisp) et les langages de la famille ML: Caml, Caml Light et OCaml.
  • SmartEiffel, un compilateur pour le langage Eiffel.
  • L'assistant de preuve Coq (preuve de theorèmes).
  • La bibliothèque de calcul flottant multiprécision MPFR.
  • La bibliothèque d'algorithmes géométriques CGAL.
  • Le langage de transformation de modèles ATL.
  • Le générateur d'analyseurs lexicaux et syntaxiques SYNTAX.
  • Scilab, un logiciel pour le calcul numérique et scientifique, similaire à MATLAB.
  • La licence de logiciel libre CeCILL, co-écrite avec le CEA et le CNRS.
  • Le navigateur web et éditeur HTML Amaya.
  • Le serveur d'application JOnAS.
  • Le simulateur graphique de système dynamique Scicos.

Implication dans le développement de logiciel libres

L'INRIA a œuvré dans la production de logiciels Open Source assez conséquents tels que Objective Caml (langage de programmation)[4], Scilab, un logiciel de calcul numérique, comparable à Matlab et à Octave, SmartEiffel, un compilateur pour le langage Eiffel, et CGAL, une plateforme de calcul géométrique.

L'INRIA est aussi à l'initiative de la création d'IRILL, Initiative pour la Recherche et l'Innovation sur le Logiciel Libre.

Notes et références

Voir aussi

Liens externes