Inria фр Institut national de recherche en informatique et en automatique національний науково дослідний інститут з вивч

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

Inria в Парижі.
Inria в Парижі.
Основні дані
Засновано	1967
Абревіатура	Inria^[1]
Галузь	інформатика, теорія автоматичного керування, ^d, інформаційна безпека, комп'ютерна безпека і ^d^[2]
Сфера	інформатика
Кількість співробітників	3 800
Розташування	Франція
Країна	Франція
Штаб-квартира	Ле-Шене^[3]
Тип	^d і навчальний заклад
Штат працівників	3900 осіб (2021)^[4]^[5]
Дочірня(і) організація(ї)	^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, ^d, Q109620676?, Q109042513?, ^d і Q51780222?
Членство	^d, ^d, ^d^[6], W3C^[7], ^d^[8], ORCID^[d]^[9], Університетське Агентство Франкофонії^[10] і ^d^[11]
Вебсторінка	Офіційний сайт

Мапа

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

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

Розробки

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

Див. також

Посилання

SIRENE
d:Track:Q3509449
https://www.inria.fr/en/practical-information/legal-notice
https://www.inria.fr/fr/inria-son-ecosysteme
https://www.inria.fr/sites/default/files/2020-08/Bilan%20social%202019%20-%2020200629.pdf
http://www.couperin.org/presentation/notre-organisation/les-membres-de-couperin/items?cid=162id=221lang=fr
https://www.w3.org/Consortium/Member/List
https://discovery.renater.fr/renater/
(англ.) Inria research fields [ 23 березня 2019 у Wayback Machine.].

[<span_class="wikidata_cite_citetype_Q8513_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/fr/inria-son-ecosysteme_https://www.inria.fr/fr/inria-son-ecosysteme]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-4] ttps://www.inria.fr/fr/inria-son-ecosysteme

[[https://www.inria.fr/sites/default/files/2020-08/Bilan%20social%202019%20-%2020200629.pdf_https://www.inria.fr/sites/default/files/2020-08/Bilan%20social%202019%20-%2020200629.pdf]<span_class="wef_low_priority_links"></span><div_style="display:none"></div>-5] ttps://www.inria.fr/sites/default/files/2020-08/Bilan%20social%202019%20-%2020200629.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>-6] 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>-7] 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>-8] ttps://discovery.renater.fr/renater/

[research-12] (англ.) Inria research fields [ 23 березня 2019 у Wayback Machine.].

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]