Французский институт исследований в области компьютерных наук и автоматизации
Французский научно-исследовательский институт компьютерных наук
Национальный институт исследований в области цифровой науки и технологий ( INRIA ) ( фр . Institut national de recherche en sciences et technologies du numérique ) — французский национальный научно-исследовательский институт, специализирующийся на информатике и прикладной математике . Он был создан под названием Французский институт исследований в области компьютерных наук и автоматизации ( IRIA ) ( фр . Institut de recherche en informatique et en automatique ) в 1967 году в Рокенкуре недалеко от Парижа , в составе Plan Calcul . Его первым местом расположения было историческое здание SHAPE (центральное командование вооружённых сил НАТО ), которое до сих пор используется в качестве главной штаб-квартиры INRIA. В 1980 году IRIA стал INRIA. [1] С 2011 года он носит название Inria .
В Inria работают 3800 человек. Среди них 1300 исследователей, 1000 аспирантов и 500 постдокторантов.
Исследовать
Inria занимается как теоретическими , так и прикладными исследованиями в области компьютерных наук. В процессе работы было создано много широко используемых программ, таких как
Zenon — расширяемая автоматизированная программа доказательства теорем, создающая проверяемые доказательства
Кроме того, Inria возглавляет французские исследования в области искусственного интеллекта, заняв 12-е место в мире в 2019 году на основе принятых публикаций на престижной конференции по системам обработки нейронной информации . [8]
История
Летом 1988 года INRIA подключила свой блок Sophia-Antipolis к NSFNet через Принстон, используя спутниковую связь, арендованную France Telecom и MCI. Связь начала работать 8 августа 1988 года и позволила исследователям INRIA получить доступ к сети США, а исследователям NASA — к астрономической базе данных, расположенной в Страсбурге. Это было первое международное подключение к NSFNET и первый раз, когда французские сети были напрямую подключены к сети с использованием TCP/IP , интернет-протокола. Интернет во Франции в течение нескольких последующих лет ограничивался научными исследованиями и образованием. [9] [10] [11]
Ссылки
^ (на французском языке) Декрет № 79-1158 от 27 декабря 1979 г. Создание национального института исследований в области информатики и автоматизации (INRIA), создание публичного административного учреждения, место под опекой министра промышленности.
^ ab Versweyveld, Leslie (30 октября 2012 г.). «Проект Contrail с гордостью представляет свой первый полный набор совместимых инструментов облачной федерации». International Science Grid This Week (ISGTW) . Архивировано из оригинала 2013-10-17 . Получено 17 октября 2013 г.
^ Беннетт, Ричард (сентябрь 2009 г.). «Создано для перемен: сквозные аргументы, инновации в Интернете и дебаты о нейтральности сети» (PDF) . Фонд информационных технологий и инноваций. стр. 7, 11. Получено 11 сентября 2017 г.
^ «Между Стэнфордом и Кикладами, трансатлантическая перспектива создания Интернета». Inria . 9 ноября 2020 г. Получено 04.09.2023 .
^ "Geneauto / P toolset - P toolset включает в себя фреймворк генерации и проверки кода для языков, поддерживаемых средой TOPCASED". Scilab .
^ "Гудхи, INRIA".
^ "medInria".
^ "Статистика NeurIPS 2019". 18 декабря 2019 г.
^ «Путь к цифровой грамотности и сетевой культуре во Франции (1980–1990-е годы)». The Routledge Companion to Global Internet Histories . Taylor & Francis. 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.