INRIA

INRIA ( French Institut national de recherche en informatique et en automatique , State Institute for Research in Computer Science and Automation) is a national research institute in France, working in the field of computer science, control theory and applied mathematics.

It was created in 1967 in Rocancourt near Paris in the framework of the state program Plan Calcul .

INRIA is a scientific and technological public institution ( établissement public à caractère scientifique et technologique , EPST) and is under the dual control of the Ministry of Education and the Ministry of Economics.

Computer Science Research

INRIA conducts practical and theoretical research in the field of computer science. At the institute were created:

CaML , a language from the ML family
Caml Light and OCaml - CaML implementations
ChorusOS is a distributed microkernel RTOS, one of the two earliest micronuclei, along with Mach
Bigloo - Scheme implementation
Coq - a program for automatically proving theorems
Compcert - verified C language compiler for PowerPC, ARM and x86_32
CADP - programs for verification of asynchronous competitive systems
Geneauto - code generation from the model ^[1]
Graphite - a research platform for computer graphics, 3D-modeling and numerical geometry
SmartEiffel is a free Eiffel language compiler
Scilab - a package for mathematical calculations, similar and partially compatible with MATLAB
Esterel - finite state machine programming language
TOM - pattern matching language
Pharo - An Open Source Smalltalk Implementation
OpenViBE - a platform for the development, testing and use of Neurocomputer interfaces

Status

INRIA has 8 research centers.

Until December 2007, three centers in Bordeaux , Lille and Saclay formed a single center INRIA Futurs .

In October 2010, INRIA, together with the University of Pierre and Marie Curie and the University of Paris Diderot, created IRILL , a center for innovation and research for free software.

INRIA employs about 3.8 thousand people, including 1300 researchers, about a thousand people working on the Ph.D. and 500 people undergoing post-doctoral studies .

Literature

(Fr.) Alain Beltran, Pascal Griset, Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria , EDP Sciences, 2007, ISBN 2-86883-806-5

Notes

↑ Geneauto / P toolset - The P toolset includes a code generation and verification framework for the languages supported by the TOPCASED environment

Links

inria.fr/en/ - official website of INRIA

[1] Geneauto / P toolset - The P toolset includes a code generation and verification framework for the languages supported by the TOPCASED environment