Inria

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, інформаційна безпека, комп'ютерна безпека і research and development in other physical and natural sciencesd[2]
Сфера	інформатика
Кількість співробітників	3 800
Розташування	Франція
Країна	Франція[3]
Штаб-квартира	Ле-Шене[4]
Тип	French public establishment of a scientific and technological characterd заклад освіти і організація
Штат працівників	4838 осіб (2024)[5]
Дочірня(і) організація(ї)	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, Консорціум Куперінd[6], W3C[7], Renaterd[8], ORCID[d][9], Університетське Агентство Франкофонії[10] і Коаліція з покращення оцінки дослідженьd[11]
Вебсторінка	Офіційний сайт
					Мапа

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

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

Розробки

Inria в Монбонно-Сен-Мартен.

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

Див. також

• Plan Calcul^[en]
• Національний центр наукових досліджень