Французский институт исследований в области компьютерных наук и автоматизации
Французский научно-исследовательский институт информатики
Национальный институт исследований в области цифровой науки и технологий ( Inria ) ( по-французски : Institut national de recherche en Sciences et technology du numérique ) — французское национальное исследовательское учреждение, занимающееся информатикой и прикладной математикой . Он был создан под названием Французский институт исследований в области компьютерных наук и автоматизации ( IRIA ) ( французский : Institut de recherche en informationatique et en autotique ) в 1967 году в Рокенкуре недалеко от Парижа , в рамках Plan Calcul . Его первым местом стало историческое помещение SHAPE (центральное командование вооруженных сил НАТО ), которое до сих пор используется в качестве главного штаба Инрии. В 1980 году IRIA стала INRIA. [1] С 2011 года он носит название Inria .
В компании «Инрия» работает 3800 человек. Среди них 1300 научных сотрудников, 1000 кандидатов наук. студентов и 500 докторантов.
Исследовать
Инрия проводит как теоретические , так и прикладные исследования в области информатики. В ходе этого процесса было создано множество широко используемых программ, таких как
Zenon, расширяемый автоматизированный инструмент для доказательства теорем, создающий проверяемые доказательства.
Кроме того, Инрия возглавляет французские исследования в области искусственного интеллекта, заняв 12-е место в мире в 2019 году на основе принятых публикаций на престижной конференции по нейронным системам обработки информации . [8]
История
Летом 1988 года INRIA подключила свое подразделение София-Антиполис к NSFNet через Принстон, используя спутниковую линию, арендованную France Telecom и MCI. Связь вступила в действие 8 августа 1988 года и позволила исследователям INRIA получить доступ к сети США, а исследователям НАСА - к астрономической базе данных, базирующейся в Страсбурге. Это было первое международное подключение к NSFNET и первый случай, когда французские сети были подключены напрямую к сети с использованием TCP/IP , интернет-протокола. Интернет во Франции в течение нескольких последующих лет был ограничен исследованиями и образованием. [9] [10] [11]
Рекомендации
^ (на французском языке) Декрет № 79-1158 от 27 декабря 1979 г. Создание национального института исследований в области информатики и автоматизации (INRIA), создание публичного административного учреждения, место под опекой министра промышленности.
^ аб Версвейвелд, Лесли (30 октября 2012 г.). «Проект Contrail с гордостью представляет свой первый полный набор совместимых инструментов облачной федерации». Международная научная сетка на этой неделе (ISGTW) . Архивировано из оригинала 17 октября 2013 г. Проверено 17 октября 2013 г.
^ Беннетт, Ричард (сентябрь 2009 г.). «Создан для перемен: сквозные аргументы, интернет-инновации и дебаты о сетевом нейтралитете» (PDF) . Фонд информационных технологий и инноваций. стр. 7, 11 . Проверено 11 сентября 2017 г.
^ «Между Стэнфордом и Кикладами: трансатлантический взгляд на создание Интернета». Инрия . 9 ноября 2020 г. Проверено 4 сентября 2023 г.
^ «Набор инструментов Geneauto / P — набор инструментов P включает в себя среду генерации и проверки кода для языков, поддерживаемых средой TOPCASED» . Сцилаб .
^ "Гудхи, ИНРИА" .
^ "МедИнрия".
^ "Статистика NeurIPS 2019" . 18 декабря 2019 г.
^ «Путь к цифровой грамотности и сетевой культуре во Франции (1980-1990-е годы)» . Routledge Companion to Global Internet History . Тейлор и Фрэнсис. 2017. С. 84–89. ISBN978-1317607656.
^ [ Et Dieu crea l'Internet , Кристиан Уитема, ISBN 2-212-08855-8 , 1995, стр. 10]
^ Андрианарисоа, Менжанирина. «Краткая история Интернета».
дальнейшее чтение
Бельтран, Ален; Гризе, Паскаль (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [ История пионера компьютеров: 40 лет исследований в INRIA ] (на французском языке). ЭДП наук. ISBN 978-2-86883-806-3.