INRIA
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od
verze recenzované 22. srpna 2021; kontroly vyžadují
2 úpravy .
INRIA ( francouzsky: Institut national de recherche en informatique et en automatique , Národní institut pro výzkum informatiky a automatizace) je národní výzkumný ústav ve Francii působící v oblasti informatiky, teorie řízení a aplikované matematiky.
Vytvořeno v roce 1967 v Rocancourt u Paříže jako součást vládního programu Plan Calcul .
INRIA je vědecká a technologická veřejná instituce ( établissement public à caractère scientifique et technologique , EPST) a je pod dvojí správou ministerstva školství a ministerstva hospodářství.
Výzkum v informatice
INRIA provádí praktický a teoretický výzkum v oblasti informatiky. Ústav vytvořil:
- CaML , jazyk z rodiny ML
- Caml Light a OCaml - implementace jazyka CaML
- ChorusOS je distribuovaný mikrokernel RTOS, jeden ze dvou prvních mikrojádrů, spolu s Machem
- Bigloo - Implementace schématu
- Coq - software pro automatizované dokazování teorémů
- Compcert je ověřený kompilátor jazyka C pro PowerPC, ARM a x86_32
- CADP - programy pro ověřování asynchronních konkurenčních systémů
- Geneauto - generování kódu z modelu [1]
- Graphite je výzkumná platforma pro počítačovou grafiku, 3D modelování a numerickou geometrii
- SmartEiffel je bezplatný překladač jazyka Eiffel .
- Scilab je matematický výpočetní balík podobný a částečně kompatibilní s MATLABem
- Esterel - programovací jazyk konečných stavových strojů
- TOM - Pattern Matching Language
- Pharo je open source implementace Smalltalku
- OpenViBE je platforma pro vývoj, testování a používání Neurocomputer Interfaces
Stav
INRIA zahrnuje 8 výzkumných center.
Do prosince 2007 tvořila tři střediska v Bordeaux , Lille a Saclay jediné středisko INRIA Futurs .
V říjnu 2010 vytvořila INRIA společně s Univerzitou Pierra a Marie Curie a Univerzitou Paris Diderot IRILL , inovační a výzkumné centrum pro svobodný software.
INRIA zaměstnává asi 3,8 tisíce lidí, z toho 1300 výzkumných pracovníků, asi tisíc lidí pracuje na Ph.D. a 500 postdoktorandů .
Literatura
- (francouzsky) 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
Poznámky
- ↑ Sada nástrojů Geneauto/P – Sada nástrojů P obsahuje rámec pro generování kódu a ověřování pro jazyky podporované prostředím TOPCASED . Datum přístupu: 25. prosince 2014. Archivováno z originálu 25. prosince 2014. (neurčitý)
Odkazy
Veřejné vysoké školy a vědecké instituce Francie |
---|
Vysoké školy |
|
---|
Ústavy a školy mimo univerzity |
- střední školy
- Lille
- Lyon
- Nantes
- Marseilles
- Institut veřejné služby
- Absolventská škola umění a textilního průmyslu
- Ústavy aplikovaných věd
- Lyon
- Rennes
- Toulouse
- Rouen
- Štrasburk
- Vyšší institut mechaniky v Paříži
- Technologické univerzity
- compiegne
- Belfort Montbéliard
- Troyes
|
---|
Vyšší normální školy |
- Paříž
- Kašan
- Fontenay-Saint-Cloud
- Lyon
|
---|
francouzské školy v zahraničí |
|
---|
Velké instituce |
|
---|
Státní instituce správního charakteru |
|
---|
Zaniklé univerzity |
|
---|