- INRIA
-
INRIA (фр. Institut national de recherche en informatique et en automatique, государственный институт исследований в информатике и автоматике) — национальный исследовательский институт во Франции, работающий в области компьютерных наук, теории управления и прикладной математики. Создан в 1967 в Роканкур рядом с Парижем в рамках государственной программы en:Plan Calcul.
INRIA является научно-технологическим государственным учреждением (établissement public à caractère scientifique et technologique, EPST) и находится под двойным управлением министерства образования и министерства экономики.
Исследования в области компьютерных наук
INRIA проводит практические и теоретические исследования в области компьютерных наук. В институте были созданы:
- CaML, язык из семейства ML
- Caml Light и OCaml — реализации языка CaML
- ChorusOS - распределенная микроядерная ОСРВ, одно из двух наиболее ранних микроядер, наряду с Mach
- Bigloo — реализация Scheme
- Coq — программа для автоматического доказательства теорем
- Compcert — верифицированный компилятор языка Си для PowerPC, ARM и x86_32
- CADP — программы для верификации асинхронных конкурентных систем
- Graphite — исследовательская платформа для компьютерной графики, 3D-моделирования и численной геометрии
- SmartEiffel — свободно распространяемый компилятор языка Eiffel
- Scilab — пакет для математических вычислений, сходный и частично совместимый с MATLAB
- Esterel — язык программирования конечных автоматов
- TOM — язык сопоставлений с образцом
- Pharo — реализация Smalltalk с открытым исходным кодом
- OpenViBE — платформа для разработки, тестирования и использования Нейрокомпьютерных интерфейсов
Статус
В состав INRIA входит 8 исследовательских центров.
До декабря 2007 три центра в Bordeaux, Lille и Saclay образовывали единый центр INRIA Futurs.
В октябре 2010, INRIA, совместно с Университетом Пьера и Марии Кюри и Университетом Париж Дидро создали IRILL — центр инноваций и исследований для свободного программного обеспечения.
В 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
Ссылки
- en.inria.fr — официальный сайт INRIA
Государственные высшие учебные и научные заведения ФранцииУниверситеты Экс-Марсель (1 • 2 • 3) • Авиньон • Амьен • Анже • Антильские острова и Гвиана • Артуа • Безансон • Бордо (1 • 2 • 3 • 4) • Брест • Бретань-юг • Валансьен • Версаль • Гавр • Гренобль (1 • 2 • 3) • Дижон • Кан • Клермон-Ферран (1 • 2) • Корсика • Кот-д’Опал • Ле-Ман • Лилль (1 • 2 • 3) • Лимож • Лион (1 • 2 • 3) • Марн-ля-Валле • Мец • Монпелье (1 • 2 • 3) • Мюлуз • Нанси (1 • 2) • Нант • Ним • Ницца • Новая Каледония • Орлеан • Париж (1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 10 • 11 • 12 • 13) • Перпиньян • По • Пуатье • Реймс • Ренн (1 • 2) • Реюньон • Ла-Рошель • Руан • Сент-Этьен • Сержи-Понтуаз • Страсбург • Тулон • Тулуза (1 • 2 • 3) • Тур • Французская Полинезия • Эври • Шамбери • Национальные политехнические институты (Лотарингия • Тулуза)
Институты и школы
вне университетовЦентральные школы (Лилль • Лион • Нант • Марсель) • Институт государственной службы • Высшая школа искусств и текстильной промышленности • Институты прикладных наук (Лион • Ренн • Тулуза • Руан • Страсбург) • Высший институт механики Парижа • Технологические университеты (Компьен • Бельфор-Монбельяр • Труа)
Высшие нормальные школы Париж • Кашан • Фонтенэ-Сен-Клу • Лион
Французские школы
за границейКаза де Веласкес • Французская школа археологии в Афинах • Французский институт Дальнего Востока • Французский институт археологии востока в Каире • Французская школа в Риме
Большие учреждения Коллеж де Франс • Консерватория искусств и ремёсел • Центральная школа Парижа • EHESS • Национальная школа хартий • Национальная высшая школа искусств и ремёсел • Национальная высшая школа информации и библиотек • Практическая школа высшего образования • Sciences Po • Парижский институт физики Земли • Национальный институт истории искусств • Политехнические институты (Бордо • Гренобль) • Музей естествознания • Парижская обсерватория • Музей открытий и изобретений • Университет Париж-Дофин • Интернациональный центр агрономии • Высшая школа здравоохранения • Национальная школа мостов и дорог • Институт современных наук и окружающей среды • Национальный институт агрономии, питания и окружающей среды • ISAE • Институт агрономии, садоводчества, питания и ландшафта
Государственные заведения
административного характераПолитехническая школа • Школа Лувра
Исчезнувшие университеты Бурже • Кагора • Бордо • Тулуза • Парижский университет
Категории:- Учебные заведения Франции
- Научные институты Франции
- Информатика
Wikimedia Foundation. 2010.
