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 в Парижі. | |
Основні дані | |
| Засновано | 1967 |
| Абревіатура | Inria |
| Галузь | інформатика, Теорія автоматичного керування, інформаційний процесорd, інформаційна безпека, комп'ютерна безпека і research and development in other physical and natural sciencesd |
| Сфера | інформатика |
| Кількість співробітників | 3 800 |
| Розташування | Франція |
| Країна | Франція |
| Штаб-квартира | Ле-Шене |
| Тип | Public Scientific and Technical Research Establishmentd і навчальний заклад |
| Штат працівників | 3900 осіб (2021) |
| Дочірня(і) організація(ї) | 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 Rennes - Bretagne Atlantique Research Centred, 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, Q3214464?, 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 і Університетське Агентство Франкофонії |
| Вебсторінка | Офіційний сайт |
Мапа | |
Наукові дослідження Inria зосереджені як на фундаментальних напрямах теорії інформатики, таких як семантика мов програмування, теорія складності обчислень, паралелізм, формальна верифікація, так і на більш прикладних дисциплінах (прикладна математика, теорія автоматичного керування, комп'ютерні мережі, тощо).
Як установа, Inria діє під двійним керівництвом національного міністерства освіти[en] та міністерства економіки та фінансів Франції.
Розробки Редагувати
- Caml та OCaml - діалекти мови програмування ML.
- Eigen - бібліотека C++ для вирішення задач лінійної алгебри.
- Scilab - пакет наукових програм для чисельних обчислень.
- Pharo - повнофункціональна реалізація середовища мовою Smalltalk з відкритим вихідним кодом.
- Coq – інтерактивний асистент формального доведення теорем.
- Esterel[en] – мова програмування
- ChorusOS[en] – операційна система реального часу на мікроядрі.
Див. також Редагувати
- Plan Calcul[en]
- Національний центр наукових досліджень
Посилання Редагувати
- SIRENE
- https://www.inria.fr/en/practical-information/legal-notice
- https://www.inria.fr/fr/inria-son-ecosysteme
- 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/
- https://www.auf.org/les_membres/nos-membres/
- (англ.) Inria research fields [ 23 березня 2019 у Wayback Machine.].