French Institute for Research in Computer Science and Automation

Institut national de recherche en informatique et en automatique ( INRIA ) is a French public research institution with technological and scientific nature. It is under the joint jurisdiction of the national Ministry of Education, Research and Technology and the Ministry of Economy, Finance and Industry. Its headquarters is located in Le Chesnay in the Yvelines department. It is roughly comparable to the German Max Planck Society.

The institute was founded in 1967 as IRIA ( Institut de Recherche en Informatique et Automatique ), and was named 1980 INRIA. It operates on an international level closely with the World Wide Web Consortium (W3C ) together, the host she was from April 1995 to 2003.

Areas of activity

  • Networks and systems
  • Software engineering and operational calculus
  • Human-machine interactions, pictures, data, knowledge
  • Simulation and optimization of complex systems

Areas of responsibility

  • Fundamental and applied research tasks, in particular the integration of, gained within the science and technology area, important area of information and communication ( I & C )
  • Realization of experimental systems
  • Organization of international exchange
  • Secure the transfer and dissemination of knowledge and knowledge
  • Contribution to the enhancement of research results
  • Participation in cooperation programs for development, particularly through the formation
  • Scientific opinions
  • Contribution to standardization

Products

  • CAML
  • Caml Light
  • CHORUS, a real-time operating system
  • OCaml
  • Coq
  • Bigloo, a Scheme implementation
  • Scilab / Scicos, a comprehensive powerful software package for applications of numerical mathematics
Minister of the Economy, Finances and Industry (France) Operator theory ChorusOS Scheme (programming language)
413394
de