Francouzský institut pro výzkum v informatice a automatizaci - French Institute for Research in Computer Science and Automation
![]() | tento článek příliš spoléhá na Reference na primární zdroje.Září 2016) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
![]() | |
Formace | 3. ledna 1967 |
---|---|
Typ | Veřejnost |
Účel | Výzkum |
Hlavní sídlo | Rocquencourt, Francie |
Pole | Počítačová věda Aplikovaná matematika |
Oficiální jazyky | francouzština, Angličtina |
Prezident | Bruno Sportisse |
Rozpočet | € 235 milionů (2013) |
Personál | 1772 výzkumných pracovníků |
webová stránka | inria.fr |
The Národní institut pro výzkum v informatice a automatizaci (Inria) (francouzština: Institucionální národní odborná škola informační a automatická) je francouzština národní výzkumná instituce se zaměřením na počítačová věda a aplikovaná matematika Byl vytvořen pod jménem Institut de recherche en informatique et en automatique (IRIA) v roce 1967 v Rocquencourt u Paříž, část Plan Calcul. Jeho prvním místem byly historické prostory TVAR (centrální velení NATO vojenské síly), které se dodnes používá jako hlavní velitelství Inria. V roce 1980 se z IRIA stala INRIA.[1] Od roku 2011 je stylizovaný Inria.
Inria je Veřejné vědecké a technické výzkumné zařízení (EPST) pod dvojím dohledem Francouzů Ministerstvo národního školství, pokročilé výuky a výzkumu a Ministerstvo hospodářství, financí a průmyslu.
Administrativní status

Inria má 8 výzkumných center distribuovaných po Francii (v Bordeaux, Grenoble -Inovallée, Lille, Nancy, Paříž -Rocquencourt, Rennes, Saclay, a Sophia Antipolis ) a jedno středisko v zahraničí v Santiago de Chile, Chile. Přispívá také akademickým výzkumným týmům mimo tato centra.
Před prosincem 2007 vytvořily tři centra v Bordeaux, Lille a Saclay jediné výzkumné centrum s názvem INRIA Futurs.
V říjnu 2010, Inria, s Pierre a Marie Curie University a Paris Diderot University začal IRILL, centrum pro inovaci a výzkumnou iniciativu pro svobodný software.
Inria zaměstnává 3 800 lidí. Mezi nimi je 1300 výzkumných pracovníků, 1000 Ph.D. studentů a 500 postdoktorátů.
Výzkum
Inria dělá obojí teoretický a aplikovaný výzkum v informatice. V tomto procesu vytvořil mnoho široce používaných programů, jako je
- Bigloo, a Systém implementace
- CADP, skříňka nástrojů pro ověření asynchronní souběžné systémy
- Caml, jazyk z ML rodina
- Velbloudí světlo a OCaml implementace
- ChorusOS, distribuovaný operační systém
- CompCert, ověřený kompilátor C pro PowerPC, ARM a x86_32
- Contrail[2]
- Coq, a důkaz asistent
- Vlastní (knihovna C ++)
- Esterel, a programovací jazyk pro státní automaty
- Geneauto - generování kódu z modelu[3]
- Gudhi - A C ++ knihovna s Krajta rozhraní pro výpočetní topologie a topologická analýza dat [4]
- Grafit, výzkumná platforma pro počítačovou grafiku, 3D modelování a numerickou geometrii
- medInria, lékařský software pro zpracování obrazu, populárně používaný pro snímky MRI.[5]
- OpenViBE, a softwarová platforma věnovaný navrhování, testování a používání rozhraní mozku a počítače.
- Pharo, open-source Smalltalk odvozený z Kvičet [1].
- Le Lisp, přenosná implementace Lisp
- Scilab, numerický výpočetní softwarový balíček
- scikit-učit se, softwarový balíček pro strojové učení
- SimGrid
- SmartEiffel, bezplatný kompilátor Eiffel
- GAUČ, rámec otevřeného zdroje pro simulaci více fyzik s důrazem na lékařskou simulaci.
- TOM, jazyk odpovídající vzoru
- ViSP, knihovna open source vizuální servoingové platformy
- XtreemFS[2]
- XtreemOS
Inria dále vede francouzský výzkum AI a v roce 2019 se na základě přijatých publikací na prestižní pozici umístila na 12. místě na světě Konference o systémech zpracování neurálních informací.[6]
Reference
- ^ (francouzsky) Décret # 79-1158 du 27 décembre 1979 Création d'un institut national de recherches en informatique et en automatique (INRIA), établissement public à caractère administratif, placé sous la tutelle du ministre de l'industrie.
- ^ A b Versweyveld, Leslie (30. října 2012). „Projekt Contrail s hrdostí představuje svoji první kompletní sadu interoperabilních cloudových federačních nástrojů“. International Science Grid This Week (ISGTW). Archivovány od originál dne 17.10.2013. Citováno 17. října 2013.
- ^ „Sada nástrojů Geneauto / P - Sada nástrojů P zahrnuje rámec pro generování a ověřování kódu pro jazyky podporované prostředím TOPCASED“. Scilab.
- ^ „Gudhi, INRIA“.
- ^ "medInria".
- ^ „Statistiky NeurIPS 2019“.
Další čtení
- Beltran, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 odpovědí na průzkum v Inrii [Příběh počítačového průkopníka: 40 let výzkumu v INRIA] (francouzsky). EDP Sciences. ISBN 2-86883-806-5.
externí odkazy
- Oficiální webové stránky (v angličtině)