National Institute for Research in Computer Science and Control

National Institute for Research in Computer Science and Control
Logo-INRIA.png

The National Institute for Research in Computer Science and Control (French: Institut national de recherche en informatique et en automatique, INRIA) is a French national research institution focusing on computer science, control theory and applied mathematics. It was created 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).

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.

Administrative status

INRIA has 8 research centers 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 in Computer Science

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

  • CaML, a language from the ML family
  • Bigloo, a Scheme implementation
  • Coq, a theorem prover
  • CADP, a tool box for the verification of asynchronous concurrent systems
  • Graphite, a research platform for computer graphics, 3D modeling and numerical geometry
  • SmartEiffel, a free Eiffel compiler
  • Scilab, a numerical computation software package
  • Esterel, a programming language for State Automata
  • TOM, a pattern matching language
  • Pharo, an open Smalltalk implementation.
  • OpenViBE, a software platform dedicated to designing, testing and using brain-computer interfaces.


Further reading

  • (French) Alain Beltran, Pascal Griset, Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria, EDP Sciences, 2007, ISBN 2868838065

External links

v · d · eFrench scientific research facilities
University-grade institutes
Public research labs
Cemagref (agriculture)  · CNRS (fundamental sciences)  · INED (demography)  · INRA (agronomy)  · IFSTTAR (transports and civil engineering)  · INRIA (IT and automatic)  · INSERM (medicine)  · IRD (development)
Public industry
BRGM (geoscience)  · CEA (nuclear industry)  · IFREMER (maritime applications)  · ONERA (aerospace)

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • National Institute for Occupational Safety and Health — Known for short as NIOSH, a US Federal agency responsible for conducting research and making recommendations for the prevention of work related disease and injury. Despite its name (which would suggest that it is part of the National Institutes… …   Medical dictionary

  • Occupational Safety and Health, National Institute for — Better known as NIOSH, the National Institute for Occupational Safety and Health is a US Federal agency responsible for conducting research and making recommendations for the prevention of work related disease and injury. Despite its name (which… …   Medical dictionary

  • National Taiwan University of Science and Technology — 國立臺灣科技大學 Motto 精誠 (Chinese) Motto in English Precision in Work, Sincerity in Attitude …   Wikipedia

  • Science and technology in the People's Republic of China — has been growing rapidly. As China develops and becomes more connected to the global economy, the government has placed a stronger emphasis on science and technology as an integral part of the socio economic development of the country. This has… …   Wikipedia

  • National Yunlin University of Science and Technology — 國立雲林科技大學 Motto Sincerity, Honor, Perseverance, Originality Established 1991 Type National President Yeong Bin Yang …   Wikipedia

  • Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… …   Wikipedia

  • Institut national de recherche en informatique et en automatique — The Institut national de recherche en informatique et en automatique (INRIA) ( English: National Institute for Research in Computer Science and Control ) is a French national research institution focusing on computer science, control theory and… …   Wikipedia

  • Institute for Information Infrastructure Protection — Infobox Non profit Non profit name = The Institute for Information Infrastructure Protection Non profit Non profit type = founded date = 2001 founder = location = Dartmouth College, Hanover, NH, USA origins = key people = Martin N. Wybourne, I3P… …   Wikipedia

  • National Institute of Diabetes and Digestive and Kidney Diseases — The National Institute of Diabetes and Digestive and Kidney Diseases (NIDDK), of the U.S. National Institutes of Health, conducts and supports research on many of the most serious diseases affecting public health. The Institute supports much of… …   Wikipedia

  • National Institute of Technology, Jalandhar — Infobox University name =National Institute of Technology native name = motto = established =1987 type =Institute of National Importance endowment = staff = faculty =100+ head label =Director head =Professor Dr.Moin Uddin students = 2300+… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”