请输入您要查询的百科知识:

 

词条 French Institute for Research in Computer Science and Automation
释义

  1. Administrative status

  2. Research

  3. References

  4. Further reading

  5. External links

{{primary sources|date=September 2016}}{{Infobox organization
|name= Institut national de recherche en informatique et en automatique
|formation= {{Start date and age|1967|01|03|df=yes|p=yes|br=yes}}
|headquarters=Rocquencourt, France
|type=Public
|purpose= Research
|image= File:INRIA logo.png
|fields=Computer science
Applied mathematics
|languages=French, English
|budget=€235 million (2013)
|leader_title=President
|leader_name=Bruno Sportisse
|staff=1,772 researchers
|website=inria.fr
}}

The National Institute for Research in Computer Science and Automation (INRIA) ({{lang fr|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.[1] Since 2011, it has been styled inria.

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 (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[2]
  • Coq, a proof assistant
  • Eigen (C++ library)
  • Esterel, a programming language for State Automata
  • Geneauto — code-generation from model[3]
  • Gudhi — A C++ library with Python interface for computational topology and topological data analysis [4]
  • Graphite, a research platform for computer graphics, 3D modeling and numerical geometry
  • medInria, a medical image processing software, popularly used for MRI images.[5]
  • OpenViBE, a software platform dedicated to designing, testing and using brain-computer interfaces.
  • Pharo, an open-source dynamic and reflective language influenced by Smalltalk  .
  • 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
  • [https://visp.inria.fr/ ViSP], an open source visual servoing platform library
  • XtreemFS[2]
  • XtreemOS

References

1. ^Des balbutiements de l’informatique au règne du tout numérique - Inria.
2. ^{{cite web |url = http://www.isgtw.org/announcement/contrail-project-proud-present-its-first-complete-set-interoperable-cloud-federation-to |title = The Contrail project is proud to present its first complete set of interoperable Cloud federation tools |archive-date = 2013-10-17 |archive-url = https://web.archive.org/web/20131017190902/http://www.isgtw.org/announcement/contrail-project-proud-present-its-first-complete-set-interoperable-cloud-federation-to |last = Versweyveld |first = Leslie |date = 30 October 2012 |website = International Science Grid This Week (ISGTW) |accessdate = 17 October 2013 |deadurl = yes |df = }}
3. ^{{cite web|url=http://forge.scilab.org/index.php/p/geneauto-p/|title=Geneauto / P toolset - The P toolset includes a code generation and verification framework for the languages supported by the TOPCASED environment|publisher=Scilab}}
4. ^{{cite web|url=http://gudhi.gforge.inria.fr/|title=Gudhi, INRIA}}
5. ^{{cite web|url=https://med.inria.fr/|title=medInria}}

Further reading

  • {{cite book |first1= Alain |last1= Beltran |first2= Pascal |last2= Griset |title= Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria |trans-title= Story of a computer pioneer: 40 years of research at INRIA |publisher= EDP Sciences |date= 2007 |isbn= 2-86883-806-5 |language= French }}

External links

  • {{Official website|www.inria.fr/en/}} {{en icon}}
{{Scientific research in France}}{{France-university-stub}}

6 : Computer science research organizations|Scientific agencies of the government of France|Theoretical computer science|Computer science institutes in France|Members of the European Research Consortium for Informatics and Mathematics|Information technology research institutes

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/20 22:58:59