Французский институт исследований в области компьютерных наук и автоматизации
 |
 | |
| Формирование | 3 января 1967 г. |
|---|---|
| Тип | Общественный |
| Цель | Исследовать |
| Штаб-квартира | Ле Шене-Рокенкур , Франция |
| Поля | Информатика Прикладная математика |
Официальные языки | французский , английский |
Президент | Бруно Спортисс |
Бюджет | 235 миллионов евро (2013) |
Персонал | 1772 исследователя |
| Веб-сайт | inria.fr |
Ранее назывался | НИИ информатики и автоматизации |
Национальный институт исследований в области цифровой науки и технологий ( Inria ) ( французский : Institut national de recherche en Sciences et technology du numerique ) — французское национальное исследовательское учреждение, занимающееся информатикой и прикладной математикой .Он был создан под названием Французский институт исследований в области компьютерных наук и автоматизации ( IRIA ) ( французский : Institut de recherche en informationatique et en autotique ) в 1967 году в Рокенкуре недалеко от Парижа , в рамках Plan Calcul . Его первым местом стало историческое помещение SHAPE (центральное командование вооруженных сил НАТО ), которое до сих пор используется в качестве главного штаба Инрии. В 1980 году IRIA стала INRIA. [1] С 2011 года он носит название Inria .
Inria — это государственное научно-техническое исследовательское учреждение (EPST), находящееся под двойным контролем Министерства национального образования, повышения квалификации и исследований Франции и Министерства экономики, финансов и промышленности .
Административный статус
[ редактировать ]
Inria имеет девять исследовательских центров, расположенных по всей Франции (в Бордо , Гренобле - Иновале , Лилле , Лионе , Нанси , Париже - Рокенкуре , Ренне , Сакле и Софии-Антиполисе ) и один центр за границей в Сантьяго-де-Чили , Чили. Он также вносит вклад в академические исследовательские группы за пределами этих центров.
Inria Rennes является частью совместного Института исследований в области компьютерных наук и случайных систем (IRISA) с несколькими другими организациями.
До декабря 2007 года три центра — Бордо, Лилль и Сакле — сформировали единый исследовательский центр под названием INRIA Futurs.
В октябре 2010 года Inria вместе с Университетом Пьера и Марии Кюри (ныне Университет Сорбонны ) и Парижским университетом Дидро основали IRILL , центр инноваций и исследовательской инициативы в области свободного программного обеспечения.
В компании «Инрия» работает 3800 человек. Среди них 1300 научных сотрудников, 1000 кандидатов наук. студентов и 500 докторантов.
Исследовать
[ редактировать ]
Инрия проводит как теоретические , так и прикладные исследования в области информатики. В ходе этого процесса было создано множество широко используемых программ, таких как
- Bigloo , Scheme реализация
- CADP , набор инструментов для проверки асинхронных параллельных систем.
- Caml — язык из ML семейства .
- Caml Light и OCaml Реализации
- Chorus — распределенная операционная система на основе микроядра.
- CompCert , проверенный компилятор C для PowerPC, ARM и x86_32.
- След [2]
- Кок , помощник по доказательству
- CYCLADES впервые применил дейтаграммы , функциональные уровни и сквозную стратегию . [3] [4]
- Собственный (библиотека C++)
- Esterel — язык программирования для государственных автоматов.
- Geneauto — генерация кода из модели [5]
- Graphite — исследовательская платформа для компьютерной графики, 3D-моделирования и числовой геометрии.
- Гудхи — библиотека C++ с интерфейсом Python для вычислительной топологии и топологического анализа данных. [6]
- Le Lisp — переносимая реализация Lisp.
- medInria, программное обеспечение для обработки медицинских изображений, широко используемое для изображений МРТ. [7]
- GNU MPFR — библиотека операций с плавающей запятой произвольной точности.
- OpenViBE — программная платформа , предназначенная для проектирования, тестирования и использования интерфейсов «мозг-компьютер» .
- Pharo — Smalltalk с открытым исходным кодом, созданный на основе Squeak [1] .
- scikit-learn — пакет программного обеспечения для машинного обучения
- Scilab — пакет программного обеспечения для численных вычислений.
- СимГрид
- SmartEiffel , бесплатный компилятор Eiffel.
- SOFA , платформа с открытым исходным кодом для мультифизического моделирования с упором на медицинское моделирование.
- TOM , язык сопоставления с образцом
- ViSP, библиотека платформы визуального обслуживания с открытым исходным кодом.
- XtreemFS [2]
- XtreemOS, распределенная операционная система
- Zenon, расширяемый автоматизированный инструмент для доказательства теорем, создающий проверяемые доказательства.
Кроме того, Инрия возглавляет французские исследования в области искусственного интеллекта, заняв 12-е место в мире в 2019 году на основе принятых публикаций на престижной конференции по нейронным системам обработки информации . [8]
История
[ редактировать ]Летом 1988 года INRIA подключила свое подразделение София-Антиполис к NSFNet через Принстон, используя спутниковую линию, арендованную France Telecom и MCI. Связь вступила в действие 8 августа 1988 года и позволила исследователям INRIA получить доступ к сети США, а исследователям НАСА - к астрономической базе данных, базирующейся в Страсбурге. Это было первое международное подключение к NSFNET и первый случай, когда французские сети были подключены напрямую к сети с использованием TCP/IP , интернет-протокола. Интернет во Франции в течение нескольких лет был ограничен исследованиями и образованием. [9] [10] [11]
Ссылки
[ редактировать ]
- ^ (на французском языке) Указ № 79-1158 от 27 декабря 1979 г. О создании национального научно-исследовательского института вычислительной техники и автоматизации (INRIA), государственного административного учреждения, находящегося под контролем министра промышленности .
- ^ Jump up to: Перейти обратно: а б Версвейвельд, Лесли (30 октября 2012 г.). «Проект Contrail с гордостью представляет свой первый полный набор совместимых инструментов облачной федерации» . Международная научная сетка на этой неделе (ISGTW) . Архивировано из оригинала 17 октября 2013 г. Проверено 17 октября 2013 г.
- ^ Беннетт, Ричард (сентябрь 2009 г.). «Создан для перемен: сквозные аргументы, интернет-инновации и дебаты о сетевом нейтралитете» (PDF) . Фонд информационных технологий и инноваций. стр. 7, 11 . Проверено 11 сентября 2017 г.
- ^ «Между Стэнфордом и Кикладами: трансатлантический взгляд на создание Интернета» . Инрия . 9 ноября 2020 г. Проверено 4 сентября 2023 г.
- ^ «Набор инструментов Geneauto/P — набор инструментов P включает в себя среду генерации и проверки кода для языков, поддерживаемых средой TOPCASED» . Сцилаб .
- ^ "Гудхи, ИНРИА "
- ^ «МедИнрия» .
- ^ «Статистика НейрИПС 2019» . 18 декабря 2019 г.
- ^ «Путь к цифровой грамотности и сетевой культуре во Франции (1980-1990-е годы)» . Routledge Companion to Global Internet History . Тейлор и Фрэнсис. 2017. С. 84–89. ISBN 978-1317607656 .
- ^ [ И Бог создал Интернет , Кристиан Хуитема, ISBN 2-212-08855-8 , 1995 г., стр. 10]
- ^ Андрианарисоа, Менжанирина. «Краткая история Интернета» .
Дальнейшее чтение
[ редактировать ]- Бельтран, Ален; Гризе, Паскаль (2007). История пионера компьютеров: 40 лет исследований в INRIA [ История пионера компьютеров: 40 лет исследований в INRIA ] (на французском языке). ЭДП наук. ISBN 978-2-86883-806-3 .
Внешние ссылки
[ редактировать ]
СМИ, связанные с INRIA, на Викискладе? - Официальный сайт (на английском языке)
- Исследовательские организации в области компьютерных наук
- История вычислений во Франции
- Научные учреждения правительства Франции
- Теоретическая информатика
- Институты информатики во Франции
- Члены Европейского исследовательского консорциума по информатике и математике
- Научно-исследовательские институты информационных технологий
- Этикетка Карно