kids encyclopedia robot

French Institute for Research in Computer Science and Automation facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Institut national de recherche en sciences et technologies du numérique
Inr logo rouge.svg
Abbreviation Inria
Formation 3 January 1967
(58 years ago)
 (1967-01-03)
Type Public
Purpose Research
Headquarters Le Chesnay-Rocquencourt, France
Fields Computer science
Applied mathematics
Official languages
French, English
President
Bruno Sportisse
Budget
€235 million (2013)
Staff
1,772 researchers
Formerly called
Institut de recherche en informatique et en automatique

The National Institute for Research in Digital Science and Technology (Inria) is a French research group. It focuses on computer science and applied mathematics. This means they study how computers work and how to use math to solve real-world problems.

Inria started in 1967 as the French Institute for Research in Computer Science and Automation (IRIA). Its first home was near Paris, in a building once used by NATO's military forces. This building is still Inria's main office today. In 1980, IRIA changed its name to INRIA, and since 2011, it has been known simply as Inria.

Inria is a public research organization. It works under the guidance of two French government ministries. These are the Ministry of National Education and the Ministry of Economy.

Where Inria Does Its Research

INRIA Alpes'13 - 377 Grenoble
Inria Grenoble building, 2013

Inria has nine research centers located across France. These centers are in cities like Bordeaux, Grenoble, Lille, and Paris. There is also one international center in Santiago de Chile, Chile.

Inria also works with other research teams. For example, Inria Rennes is part of a joint research group called IRISA. This group includes several other organizations.

Before December 2007, the centers in Bordeaux, Lille, and Saclay were one big center. It was known as INRIA Futurs.

In October 2010, Inria teamed up with two universities. They started a new center called IRILL. This center focuses on new ideas and research for free software.

Inria has about 3,800 people working for it. This includes 1,300 researchers and 1,000 Ph.D. students. There are also 500 post-doctoral researchers.

What Inria Researches

INRIA
Inria Paris-Saclay, 2014
INRIA 2007-02-05
Part of INRIA Sophia Antipolis, 2007
Classroom and monitors area at INRIA Lille
Activity within INRIA Lille, 2010
IRISA
INRIA Rennes in 2006, part of joint IRISA

Inria does both theoretical and practical research in computer science. Theoretical research explores new ideas. Practical research creates useful programs and tools.

Over the years, Inria has created many programs that people use widely. Some of these include:

  • Bigloo: A programming language.
  • CADP: A tool for checking how computer systems work together.
  • Caml: Another family of programming languages.
    • This includes versions like Caml Light and OCaml.
  • Chorus: An operating system for distributed computers.
  • Coq: A tool that helps prove things in mathematics and computer science.
  • CYCLADES: An early computer network that helped develop the internet.
  • Eigen (C++ library): A library for working with numbers in computer programs.
  • Esterel: A programming language for creating automated systems.
  • medInria: Software used for looking at medical images, like MRI scans.
  • GNU MPFR: A library for very precise calculations with numbers.
  • OpenViBE: A software platform for brain-computer interfaces. These allow people to control computers with their thoughts.
  • Pharo: An open-source programming environment.
  • scikit-learn: A popular software package for machine learning. Machine learning is how computers learn from data.
  • Scilab: Software for doing complex math calculations.
  • SOFA: An open-source tool for simulating physics, often used in medical simulations.
  • TOM: A language for finding patterns in data.
  • ViSP: An open-source library for visual servoing. This helps robots see and move.
  • XtreemFS: A file system for large computer networks.
  • XtreemOS: An operating system for grid computing.

Inria is also a leader in Artificial Intelligence (AI) research in France. In 2019, it ranked 12th worldwide for its accepted research papers. These papers were presented at a major AI conference.

Inria's History and the Internet

In the summer of 1988, Inria made an important connection. Its Sophia-Antipolis center connected to the NSFNet in the United States. This connection used a satellite link. It was the first international connection to NSFNET.

This link allowed Inria researchers to access the US network. It also let NASA researchers in the US access an astronomy database in France. This was a big step for the Internet in France. For many years after this, the internet in France was mainly used for research and education.

See also

Kids robot.svg In Spanish: Institut National de Recherche en Informatique et en Automatique para niños

kids search engine
French Institute for Research in Computer Science and Automation Facts for Kids. Kiddle Encyclopedia.