В этой статье слишком много ссылок на первоисточники . ( Сентябрь 2016 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
Формирование | 3 января 1967 г. |
---|---|
Тип | Общественные |
Цель | Исследовать |
Штаб-квартира | Роккенкур , Франция |
Поля | Компьютерные науки Прикладная математика |
Официальные языки | Французский , английский |
Президент | Бруно Спортиссе |
Бюджет | 235 миллионов евро (2013) |
Персонал | 1772 исследователя |
Веб-сайт | inria.fr |
Национальный институт исследований в области информатики и автоматики ( INRIA ) ( французский : Национальный институт отборный ан информатике и ан автоэкспозиции ) является французский национальный исследовательский институт упором на информатике и прикладной математике . Он был создан под названием Institut de recherche en informatique et en automatique ( IRIA ) в 1967 году в Роккенкур, недалеко от Парижа , как часть Plan Calcul . Его первым местом стало историческое здание SHAPE (Центрального командования НАТО).вооруженные силы), который до сих пор используется в качестве главного штаба Инрии. В 1980 году IRIA стала INRIA. [1] С 2011 года он был оформлен в стиле Inria .
Inria - это государственное научно-техническое исследовательское учреждение (EPST), находящееся под двойным контролем Министерства национального образования, повышения квалификации и исследований Франции и Министерства экономики, финансов и промышленности .
Административный статус [ править ]
Inria имеет 8 исследовательских центров, расположенных по всей Франции (в Бордо , Гренобле - Иновалле , Лилле , Нанси , Париже - Роккенкур , Ренн , Сакле и София Антиполис ) и один центр за рубежом в Сантьяго-де-Чили , Чили . Он также помогает академическим исследовательским группам за пределами этих центров.
До декабря 2007 года три центра - Бордо, Лилль и Сакле - образовали единый исследовательский центр под названием INRIA Futurs.
В октябре 2010 года Инриа совместно с университетами Пьера и Марии Кюри и Парижским университетом Дидро основала IRILL , центр инноваций и исследований в области свободного программного обеспечения.
В Inria работает 3800 человек. Среди них 1300 научных сотрудников, 1000 кандидатов наук. студентов и 500 докторантов.
Исследование [ править ]
Inria занимается как теоретическими, так и прикладными исследованиями в области информатики. В процессе было создано множество широко используемых программ, таких как
- Bigloo , реализация схемы
- CADP , набор инструментов для проверки асинхронных параллельных систем
- Caml , язык от ML семьи
- Реализации Caml Light и OCaml
- ChorusOS , распределенная операционная система
- CompCert , проверенный компилятор C для PowerPC, ARM и x86_32
- Инверсионный след [2]
- Coq , помощник по пруфу
- Eigen (библиотека C ++)
- Эстерель , язык программирования для государственных автоматов
- Geneauto - генерация кода из модели [3]
- Gudhi - библиотека C ++ с интерфейсом Python для вычислительной топологии и анализа топологических данных [4]
- Graphite, исследовательская платформа для компьютерной графики, 3D-моделирования и числовой геометрии
- medInria, программное обеспечение для обработки медицинских изображений, широко используемое для МРТ-изображений. [5]
- OpenViBE , программная платформа, предназначенная для проектирования, тестирования и использования интерфейсов мозг-компьютер .
- Pharo , Smalltalk с открытым исходным кодом, созданный на основе Squeak [1] .
- Le Lisp , переносимая реализация Lisp
- Scilab , программный пакет для численных вычислений
- scikit-learn , программный пакет для машинного обучения
- SimGrid
- SmartEiffel , бесплатный компилятор Eiffel
- SOFA , фреймворк с открытым исходным кодом для мультифизического моделирования с упором на медицинское моделирование.
- TOM , язык сопоставления с образцом
- ViSP , библиотека платформы визуального сервоинга с открытым исходным кодом
- XtreemFS [2]
- XtreemOS
Кроме того, Inria возглавляет французские исследования искусственного интеллекта, занимая 12-е место в мире в 2019 году на основе принятых публикаций на престижной конференции по системам обработки нейронной информации . [6]
Ссылки [ править ]
- ^ (на французском языке) Décret # 79-1158 от 27 декабря 1979 Création d'un institut national de recherches en informatique et en automatique (INRIA), établissement public à caractère administratif, placé sous la tutelle du ministre de l'industrie .
- ^ a b Versweyveld, Лесли (30 октября 2012 г.). «Проект Contrail с гордостью представляет свой первый полный набор совместимых инструментов облачной федерации» . Международная научная сеть на этой неделе (ISGTW) . Архивировано из оригинала на 2013-10-17 . Проверено 17 октября 2013 года .
- ^ «Набор инструментов Geneauto / P - Набор инструментов P включает структуру генерации кода и проверки для языков, поддерживаемых средой TOPCASED» . Scilab .
- ^ "Гудхи, INRIA" .
- ^ "МедИнрия" .
- ^ «Статистика NeurIPS 2019» .
Дальнейшее чтение [ править ]
- Бельтран, Ален; Гризе, Паскаль (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [ История компьютерного пионера: 40 лет исследований в INRIA ] (на французском). EDP Sciences. ISBN 2-86883-806-5.
Внешние ссылки [ править ]
- Официальный сайт (на английском)