Samiksha Jaiswal (Editor)

French Institute for Research in Computer Science and Automation

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Type
  
Public

Official languages
  
Headquarters
  
France

Founded
  
3 January 1967

Staff
  
1772

Purpose
  
Research

Website
  
inria.fr

President
  
Antoine Petit

Budget
  
235 million EUR (2013)

French Institute for Research in Computer Science and Automation httpswwwinriafrvarinriastorageimagesmedi

Formation
  
3 January 1967(50 years ago) (1967-01-03)

Fields
  
Computer scienceApplied mathematics

CEO
  
Antoine Petit (28 Sep 2014–)

Profiles

Msr inria workshop on computer vision and machine learning


The French Institute for Research in Computer Science and Automation (French: Institut national de recherche en informatique et en automatique) is a French national research institution focusing on computer science and applied mathematics. It was created under the name Institut de recherche en informatique et en automatique (IRIA) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE (central command of NATO military forces). In 1979 IRIA became INRIA. Since 2011, it has been styled inria.

Contents

Inria is a Public Scientific and Technical Research Establishment (EPST) under the double supervision of the French Ministry of National Education, Advanced Instruction and Research and the Ministry of Economy, Finance and Industry.

Samer ammoun inria rocquencourt imara project france


Administrative status

Inria has 8 research centers (in Bordeaux, Grenoble-Inovallée, Lille, Nancy, Paris-Rocquencourt, Rennes, Saclay, and Sophia Antipolis) and also contributes to academic research teams outside of those centers.

Before December 2007, the three centers of Bordeaux, Lille and Saclay formed a single research center called INRIA Futurs.

In October 2010, INRIA, with Pierre and Marie Curie University and Paris Diderot University started IRILL, a center for innovation and research initiative for free software.

Inria employs 3800 people. Among them are 1300 researchers, 1000 Ph.D. students and 500 postdoctorates.

Research

Inria does both theoretical and applied research in computer science. In the process, it has produced many widely used programs, such as

  • Bigloo, a Scheme implementation
  • CADP, a tool box for the verification of asynchronous concurrent systems
  • Caml, a language from the ML family
  • Caml Light and OCaml implementations
  • ChorusOS, distributed operating system
  • Contrail
  • Coq, a proof assistant
  • Eigen (C++ library)
  • Esterel, a programming language for State Automata
  • Geneauto — code-generation from model
  • Graphite, a research platform for computer graphics, 3D modeling and numerical geometry
  • OpenViBE, a software platform dedicated to designing, testing and using brain-computer interfaces.
  • Pharo, an open Smalltalk implementation.
  • Scilab, a numerical computation software package
  • SimGrid
  • SmartEiffel, a free Eiffel compiler
  • SOFA, an open source framework for multi-physics simulation with an emphasis on medical simulation.
  • TOM, a pattern matching language
  • XtreemFS
  • XtreemOS
  • References

    French Institute for Research in Computer Science and Automation Wikipedia


    Similar Topics