Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Национальный институт исследований в области информатики и автоматизации
Inr logo fr rouge.png
Формирование3 января 1967
(54 года назад) ( 1967-01-03 )
ТипОбщественные
ЦельИсследовать
Штаб-квартираРоккенкур , Франция
ПоляКомпьютерные науки
Прикладная математика
Официальные языки Французский , английский
ПрезидентБруно Спортиссе
Бюджет 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]

Ссылки [ править ]

  1. ^ (на французском языке) 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 .
  2. ^ a b Versweyveld, Лесли (30 октября 2012 г.). «Проект Contrail с гордостью представляет свой первый полный набор совместимых инструментов облачной федерации» . Международная научная сеть на этой неделе (ISGTW) . Архивировано из оригинала на 2013-10-17 . Проверено 17 октября 2013 года .
  3. ^ «Набор инструментов Geneauto / P - Набор инструментов P включает структуру генерации кода и проверки для языков, поддерживаемых средой TOPCASED» . Scilab .
  4. ^ "Гудхи, INRIA" .
  5. ^ "МедИнрия" .
  6. ^ «Статистика 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.

Внешние ссылки [ править ]

  • Официальный сайт (на английском)