Inria — Вікіпедія

Inria
	Inria в Парижі.
	Inria в Парижі.
	Основні дані
Засновано	1967
Абревіатура	Inria
Галузь	інформатика, теорія автоматичного керування, інформаційний процесорd, інформаційна безпека, комп'ютерна безпека і research and development in other physical and natural sciencesd
Сфера	інформатика
Кількість співробітників	3 800
Розташування	Франція
Країна	Франція
Штаб-квартира	Ле-Шене
Тип	public research institution in Franced і заклад освіти
Штат працівників	4838 осіб (2024)
Дочірня(і); організація(ї)	Institut de recherche en informatique et systèmes aléatoiresd, INRIA Bordeaux–Sud-Ouest research centred, Inria Grenoble - Rhône-Alpes research centred, Inria research centre Lille - Nord Europed, Inria Nancy - Grand-Est research centred, Inria Centre at Rennes Universityd, Inria Saclay - Île-de-France Research Centred, Research Centre Inria Sophia Antipolis - Méditerranéed, Institut Élie Cartan de Lorrained, Centre for Applied Mathematicsd, Institut de Mathématiques de Bordeauxd, Laboratoire d'Informatique de Grenobled, LORIAd, Biometry and Evolutionary Biology Laboratoryd, LINAd, Grenoble Images Parole Signal Automatiqued, Laboratoire des sciences de l'ingénieur de l'informatique et de l'imageried, Laboratoire de mathématiques d'Orsayd, Laboratory of Mathematics and their Applicationsd, Laboratoire Paul Painlevéd, Laboratoire Jacques-Louis Lionsd, Laboratoire Spécification et Vérificationd, Laboratory Preuves, Programmes et Systèmesd, Wave Propagation Mathematical Study and Simulationd, Unit of Mathematics, Pure and Appliedd, Laboratoire de recherche en informatiqued, Laboratoire Jean Kuntzmannd, LIRMMd, Fédération Informatique de Lyond, Sciences et Technologies des Cultures et Sociétés Numériquesd, LabEx PERSYVAL-Labd, Laboratoire de l'Informatique du Parallélismed, Institut Français de Bioinformatiqued, Q109620676?, Q109042513?, House of Simulationd і Q51780222?
Членство	PICOM Кластерd, Systematic Paris-Regiond, Couperin Consortiumd, W3C, Renaterd, ORCID[d], Університетське Агентство Франкофонії і Коаліція з покращення оцінки дослідженьd
Вебсторінка	Офіційний сайт
	Мапа

Inria (фр. Institut national de recherche en informatique et en automatique; національний науково-дослідний інститут з вивчання інформатики та автоматичного керування) – французький національний науково-дослідний інститут заснований 1967 року в Роканкурі, спочатку як IRIA (фр. Institut de Recherche en Informatique et en Automatique), потім (в 1979 році) був перейменований в INRIA. З 2011 року офіційна назва Inria пишеться без капіталізації.

Наукові дослідження Inria зосереджені як на фундаментальних напрямах теорії інформатики, таких як семантика мов програмування, теорія складності обчислень, паралелізм, формальна верифікація, так і на більш прикладних дисциплінах (прикладна математика, теорія автоматичного керування, комп'ютерні мережі, тощо).^[11]

Як установа, Inria діє під двійним керівництвом національного міністерства освіти^[en] та міністерства економіки та фінансів Франції.

Розробки

Caml та OCaml - діалекти мови програмування ML.
Eigen - бібліотека C++ для вирішення задач лінійної алгебри.
Scilab - пакет наукових програм для чисельних обчислень.
Pharo - повнофункціональна реалізація середовища мовою Smalltalk з відкритим вихідним кодом.
Coq – інтерактивний асистент формального доведення теорем.
Esterel^[en] – мова програмування
ChorusOS^[en] – операційна система реального часу на мікроядрі.

Див. також

Посилання

[[https://web.archive.org/web/20111204025237/https://www.inria.fr/actualite/actualites-inria/nouvelle-identite-visuelle_https://web.archive.org/web/20111204025237/https://www.inria.fr/actualite/actualites-inria/nouvelle-identite-visuelle]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-1] ttps://web.archive.org/web/20111204025237/https://www.inria.fr/actualite/actualites-inria/nouvelle-identite-visuelle

[<span_class="wikidata_cite_citetype_Q1394657"_data-entity-id="Q3509449">SIRENE<span_class="wef_low_priority_links"></span></span><div_style="display:none">[[d:Track:Q3509449]]</div>-2] SIRENE
d:Track:Q3509449

[[https://www.inria.fr/en/practical-information/legal-notice_https://www.inria.fr/en/practical-information/legal-notice]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-3] ttps://www.inria.fr/en/practical-information/legal-notice

[[https://www.inria.fr/sites/default/files/2024-11/Inria_HRS4R_Auto%20evaluation%20intermediaire_FR%20VF%202024%2011%2004.pdf_https://www.inria.fr/sites/default/files/2024-11/Inria_HRS4R_Auto%20evaluation%20intermediaire_FR%20VF%202024%2011%2004.pdf]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-4] ttps://www.inria.fr/sites/default/files/2024-11/Inria_HRS4R_Auto%20evaluation%20intermediaire_FR%20VF%202024%2011%2004.pdf

[[http://www.couperin.org/presentation/notre-organisation/les-membres-de-couperin/items?cid=162id=221lang=fr_http://www.couperin.org/presentation/notre-organisation/les-membres-de-couperin/items?cid=162id=221lang=fr]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-5] ttp://www.couperin.org/presentation/notre-organisation/les-membres-de-couperin/items?cid=162id=221lang=fr

[[https://www.w3.org/Consortium/Member/List_https://www.w3.org/Consortium/Member/List]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-6] ttps://www.w3.org/Consortium/Member/List

[[https://discovery.renater.fr/renater/_https://discovery.renater.fr/renater/]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-7] ttps://discovery.renater.fr/renater/

[[https://web.archive.org/web/20231020113811/https://orcid.org/members_https://web.archive.org/web/20231020113811/https://orcid.org/members]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-8] ttps://web.archive.org/web/20231020113811/https://orcid.org/members

[[https://web.archive.org/web/20221123144401/https://www.auf.org/les_membres/nos-membres/_https://web.archive.org/web/20221123144401/https://www.auf.org/les_membres/nos-membres/]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-9] ttps://web.archive.org/web/20221123144401/https://www.auf.org/les_membres/nos-membres/

[[https://web.archive.org/web/20231109092552/https://coara.eu/coalition/membership/_https://web.archive.org/web/20231109092552/https://coara.eu/coalition/membership/]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-10] ttps://web.archive.org/web/20231109092552/https://coara.eu/coalition/membership/

[research-11] (англ.) Inria research fields [Архівовано 23 березня 2019 у Wayback Machine.].

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

У соціальних мережах	Twitter
Література та бібліографія	Babelio
Тематичні сайти	OpenCorporates
Словники та енциклопедії	Encyclopædia Universalis
Нормативний контроль	BNF: 11872796d · CANTIC: 981058519947306706 · CiNii: DA00077956, DA00077967 · Freebase: /m/01v56y · ICCU: UFIV033677 · ISNI: 0000000121863954 · J9U: 987007570648405171 · LCCN: n81093134 · NKC: kn20110428008, ko2011402883 · SHARE: 105095 · SUDOC: 026489171 · VIAF: 135918951, 151997007

Inria

Inria в Парижі.
Inria в Парижі.
Основні дані
Засновано	1967
Абревіатура	Inria^[1]
Галузь	інформатика, теорія автоматичного керування, інформаційний процесор^d, інформаційна безпека, комп'ютерна безпека і research and development in other physical and natural sciences^d^[2]
Сфера	інформатика
Кількість співробітників	3 800
Розташування	Франція
Країна	Франція
Штаб-квартира	Ле-Шене^[3]
Тип	public research institution in France^d і заклад освіти
Штат працівників	4838 осіб (2024)^[4]
Дочірня(і) організація(ї)	Institut de recherche en informatique et systèmes aléatoires^d, INRIA Bordeaux–Sud-Ouest research centre^d, Inria Grenoble - Rhône-Alpes research centre^d, Inria research centre Lille - Nord Europe^d, Inria Nancy - Grand-Est research centre^d, Inria Centre at Rennes University^d, Inria Saclay - Île-de-France Research Centre^d, Research Centre Inria Sophia Antipolis - Méditerranée^d, Institut Élie Cartan de Lorraine^d, Centre for Applied Mathematics^d, Institut de Mathématiques de Bordeaux^d, Laboratoire d'Informatique de Grenoble^d, LORIA^d, Biometry and Evolutionary Biology Laboratory^d, LINA^d, Grenoble Images Parole Signal Automatique^d, Laboratoire des sciences de l'ingénieur de l'informatique et de l'imagerie^d, Laboratoire de mathématiques d'Orsay^d, Laboratory of Mathematics and their Applications^d, Laboratoire Paul Painlevé^d, Laboratoire Jacques-Louis Lions^d, Laboratoire Spécification et Vérification^d, Laboratory Preuves, Programmes et Systèmes^d, Wave Propagation Mathematical Study and Simulation^d, Unit of Mathematics, Pure and Applied^d, Laboratoire de recherche en informatique^d, Laboratoire Jean Kuntzmann^d, LIRMM^d, Fédération Informatique de Lyon^d, Sciences et Technologies des Cultures et Sociétés Numériques^d, LabEx PERSYVAL-Lab^d, Laboratoire de l'Informatique du Parallélisme^d, Institut Français de Bioinformatique^d, Q109620676?, Q109042513?, House of Simulation^d і Q51780222?
Членство	PICOM Кластер^d, Systematic Paris-Region^d, Couperin Consortium^d^[5], W3C^[6], Renater^d^[7], ORCID^[d]^[8], Університетське Агентство Франкофонії^[9] і Коаліція з покращення оцінки досліджень^d^[10]
Вебсторінка	Офіційний сайт

Мапа