INRIA ( фр. Institut national de recherche en informatique et en automatique , Национальный институт исследований в информатике и автоматике) — национальный исследовательский институт во Франции, работающий в области компьютерных наук, теории управления и прикладной математики.

Создан в 1967 в рядом с Парижем в рамках государственной программы .

INRIA является научно-технологическим государственным учреждением ( , EPST) и находится под двойным управлением министерства образования и министерства экономики.

Исследования в области компьютерных наук

INRIA проводит практические и теоретические исследования в области компьютерных наук. В институте были созданы:

• CaML , язык из семейства
• и OCaml — реализации языка CaML
• ChorusOS - распределенная микроядерная ОСРВ, одно из двух наиболее ранних микроядер, наряду с Mach
• — реализация Scheme
• Coq — программа для автоматического доказательства теорем
• — верифицированный компилятор языка Си для PowerPC, ARM и x86_32
• — программы для верификации асинхронных конкурентных систем
• Geneauto — кодогенерация из модели
• Graphite — исследовательская платформа для компьютерной графики, 3D-моделирования и численной геометрии
• — свободно распространяемый компилятор языка Eiffel
• Scilab — пакет для математических вычислений, сходный и частично совместимый с MATLAB
• — язык программирования конечных автоматов
• — язык сопоставлений с образцом
• Pharo — реализация Smalltalk с открытым исходным кодом
• — платформа для разработки, тестирования и использования Нейрокомпьютерных интерфейсов

Статус

В состав INRIA входит 8 исследовательских центров.

До декабря 2007 три центра в Бордо , Лилле и образовывали единый центр INRIA Futurs .

В октябре 2010, INRIA, совместно с Университетом Пьера и Марии Кюри и Университетом Париж Дидро создали — центр инноваций и исследований для свободного программного обеспечения.

В INRIA работает около 3.8 тыс. человек, среди которых 1300 исследователей, около тысячи людей, работающих над диссертацией Ph.D. и 500 человек, проходящих .

Литература

• (фр.) 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

Примечания

Ссылки

• — официальный сайт INRIA