Французский институт исследований в области компьютерных наук и автоматизации
Французский научно-исследовательский институт информатики
Национальный институт исследований в области цифровой науки и технологий ( 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.