프랑스 컴퓨터 과학 및 자동화 연구소

프랑스 컴퓨터 과학 및 자동화 연구소
프랑스 컴퓨터 과학 및 자동화 연구소
약칭	Inria
결성	1967년 1월 3일; (59년 전)
유형	공공
목적	연구
본부	르셰네로크캥쿠르, 프랑스
분야	컴퓨터 과학; 응용수학
공식 언어	프랑스어, 영어
회장	브뤼노 스포르티스
예산	2억 3천 5백만 유로 (2013)
스태프	1,772명의 연구원
웹사이트	www.inria.fr/en
과거명	Institut de recherche en informatique et en automatique

프랑스 컴퓨터 과학 및 자동화 연구소(French Institute for Research in Computer Science and Automation, 인리아, INRIA, 국립 디지털 과학기술 연구소, 프랑스어: Institut national de recherche en sciences et technologies du numérique)는 컴퓨터 과학 및 응용수학에 중점을 둔 프랑스 국립 연구 기관이다. 이 연구소는 1967년 파리 (프랑스) 근처 로크캥쿠르에 프랑스 컴퓨터 과학 및 자동화 연구소 (IRIA)(프랑스어: Institut de recherche en informatique et en automatique)라는 이름으로 플랑 칼큘의 일환으로 설립되었다. 첫 번째 부지는 유럽 연합군 최고사령부 (북대서양 조약 기구 군사력의 중앙 사령부)의 역사적인 부지였으며, 이곳은 여전히 Inria의 주요 본부로 사용되고 있다. 1980년에 IRIA는 INRIA가 되었다. 2011년부터는 INRIA로 불린다.

INRIA는 프랑스 교육부, 고등교육 및 연구부와 경제재정산업부의 이중 감독을 받는 공공 과학기술 연구 기관 (EPST)이다.

행정적 지위

INRIA는 프랑스 전역에 9개의 연구 센터(보르도, 그르노블-이노발레, 릴, 리옹, 낭시, 파리 (프랑스)-로크캥쿠르, 렌 (프랑스), 사클레 고원, 소피아앙티폴리스)와 칠레 산티아고에 해외 센터 한 곳을 두고 있다. 또한 이 센터 외의 학술 연구팀에도 기여한다.

INRIA 렌 (프랑스)는 다른 여러 기관과 함께 공동 정보학 및 확률 시스템 연구소 (IRISA)의 일부이다.

2007년 12월 이전에는 보르도, 릴, 사클레의 세 센터가 INRIA Futurs라는 하나의 연구 센터를 형성했다.

2010년 10월, INRIA는 파리 제6대학교 (현재 소르본 대학교) 및 파리 디드로 대학교와 함께 자유 소프트웨어 혁신 및 연구 이니셔티브 센터인 IRILL을 설립했다.

INRIA는 3,800명을 고용하고 있다. 그중 1,300명은 연구원, 1,000명은 박사 과정 학생, 500명은 박사 후 연구원이다.

연구

INRIA는 이론 컴퓨터 과학 및 컴퓨터 과학 분야의 응용 연구를 수행한다. 이 과정에서 다음과 같이 널리 사용되는 많은 프로그램을 개발했다.

Bigloo, 스킴 (프로그래밍 언어) 구현
CADP, 비동기 동시 시스템 검증을 위한 도구 상자
Caml, ML 프로그래밍 언어 계열의 언어
- Caml Light 및 OCaml 구현
코러스OS, 마이크로커널 기반 분산 운영 체제
CompCert, PowerPC, ARM 및 x86_32용 검증된 C 컴파일러
Contrail
CYCLADES, 데이터그램, 프로토콜 계층화, 엔드 투 엔드 원칙의 사용을 개척했으며, 이 개념은 TCP/IP 및 인터넷에서 채택되었다.
Eigen (C++ 라이브러리)
Esterel, 상태 오토마타를 위한 프로그래밍 언어
Geneauto — 모델에서 코드 생성
Graphite, 컴퓨터 그래픽스, 3D 모델링 및 수치 기하학을 위한 연구 플랫폼
Gudhi — 파이썬 인터페이스를 가진 C++ 라이브러리로, 계산 위상수학 및 위상 데이터 분석용
르 리스프, 이식 가능한 리스프 구현
medInria, MRI 이미지에 널리 사용되는 의료 영상 처리 소프트웨어
GNU MPFR, 임의 정밀도 부동 소수점 라이브러리
OpenVibe, 뇌-컴퓨터 인터페이스 설계, 테스트 및 사용 전용 소프트웨어 플랫폼.
파로 (프로그래밍 언어), 스퀵에서 파생된 오픈 소스 스몰토크 .
Coq, 증명 보조기
Scikit-learn, 머신러닝 소프트웨어 패키지
싸이랩, 수치 계산 소프트웨어 패키지
SimGrid
SmartEiffel, 자유 에펠 컴파일러
SOFA, 의료 시뮬레이션에 중점을 둔 다물리 시뮬레이션을 위한 오픈 소스 프레임워크.
Tom (패턴 매칭 언어), 패턴 매칭 언어
ViSP, 오픈 소스 시각 서보 플랫폼 라이브러리
XtreemFS
XtreemOS, 그리드 분산 운영 체제
Zenon, 검사 가능한 증명을 생성하는 확장 가능한 자동 정리 증명기

또한 INRIA는 2019년 NeurIPS에 채택된 논문을 기준으로 전 세계 12위를 차지하며 프랑스 AI 연구를 이끌고 있다.

역사

1988년 여름, INRIA는 프랑스 텔레콤 및 MCI에 임대한 위성 링크를 통해 프린스턴 대학교를 경유하여 소피아앙티폴리스 지부를 NSFNet에 연결했다. 이 링크는 1988년 8월 8일에 작동을 시작했으며, INRIA 연구원들이 미국 네트워크에 접속하고 미국 항공 우주국 연구원들이 스트라스부르에 기반을 둔 천문학 데이터베이스에 접속할 수 있도록 했다. 이것은 NSFNET에 대한 최초의 국제 연결이자 TCP/IP를 사용하는 네트워크에 프랑스 네트워크가 직접 연결된 최초의 사례였다. 프랑스의 인터넷은 앞으로 몇 년 동안 연구 및 교육 목적으로 제한되었다.

각주

↑ (프랑스어) Décret #79-1158 du 27 décembre 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.
1 2 Versweyveld, Leslie (2012년 10월 30일). “The Contrail project is proud to present its first complete set of interoperable Cloud federation tools”. 《International Science Grid This Week (ISGTW)》. 2013년 10월 17일에 원본 문서에서 보존된 문서. 2013년 10월 17일에 확인함.
↑ Abbate 1999, 3 "The manager of the ARPANET project, Lawrence Roberts, assembled a large team of computer scientists ... and he drew on the ideas of network experimenters in the United States and the United Kingdom. Cerf and Kahn also enlisted the help of computer scientists from England, France and the United States"쪽
↑ Bennett, Richard (September 2009). “Designed for Change: End-to-End Arguments, Internet Innovation, and the Net Neutrality Debate” (PDF). Information Technology and Innovation Foundation. 7, 11쪽. 2017년 9월 11일에 확인함.
↑ “Between Stanford and Cyclades, a transatlantic perspective on the creation of Internet”. 《Inria》. 2020년 11월 9일. 2023년 9월 4일에 확인함.
↑ “The Computer History Museum, SRI International, and BBN Celebrate the 40th Anniversary of First ARPANET Transmission, Precursor to Today's Internet”. SRI International. 2009년 10월 27일. 2019년 3월 29일에 원본 문서에서 보존된 문서. 2017년 9월 25일에 확인함. But the ARPANET itself had now become an island, with no links to the other networks that had sprung up. By the early 1970s, researchers in France, the UK, and the U.S. began developing ways of connecting networks to each other, a process known as internetworking.
↑ “Geneauto / P toolset - The P toolset includes a code generation and verification framework for the languages supported by the TOPCASED environment”. 싸이랩.
↑ “Gudhi, INRIA”.
↑ “medInria”.
↑ “NeurIPS 2019 Stats”. 2019년 12월 18일.
↑ 〈The path to digital literacy and network culture in France (1980s to 1990s)〉. 《The Routledge Companion to Global Internet Histories》. Taylor & Francis. 2017. 84–89쪽. ISBN 978-1317607656.
↑ Et Dieu crea l'Internet, Christian Huitema, ISBN 2-212-08855-8, 1995, page 10
↑ Andrianarisoa, Menjanirina (2012년 3월 2일). “A brief history of the internet”.

더 읽어보기

벨트랑, 알랭; 그리세, 파스칼 (2007). 《Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria》 [컴퓨터 개척자의 이야기: INRIA의 40년 연구] (프랑스어). EDP Sciences. ISBN 978-2-86883-806-3.

외부 링크

위키미디어 공용에 프랑스 컴퓨터 과학 및 자동화 연구소 관련 미디어 분류가 있습니다.
프랑스 컴퓨터 과학 및 자동화 연구소 - 공식 웹사이트

[1] (프랑스어) Décret #79-1158 du 27 décembre 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.

[ISGTW-2] 1 2 Versweyveld, Leslie (2012년 10월 30일). “The Contrail project is proud to present its first complete set of interoperable Cloud federation tools”. 《International Science Grid This Week (ISGTW)》. 2013년 10월 17일에 원본 문서에서 보존된 문서. 2013년 10월 17일에 확인함.

[Abbatep3-3] Abbate 1999, 3 "The manager of the ARPANET project, Lawrence Roberts, assembled a large team of computer scientists ... and he drew on the ideas of network experimenters in the United States and the United Kingdom. Cerf and Kahn also enlisted the help of computer scientists from England, France and the United States"쪽

[Bennett2009-4] Bennett, Richard (September 2009). “Designed for Change: End-to-End Arguments, Internet Innovation, and the Net Neutrality Debate” (PDF). Information Technology and Innovation Foundation. 7, 11쪽. 2017년 9월 11일에 확인함.

[5] “Between Stanford and Cyclades, a transatlantic perspective on the creation of Internet”. 《Inria》. 2020년 11월 9일. 2023년 9월 4일에 확인함.

[:3-6] “The Computer History Museum, SRI International, and BBN Celebrate the 40th Anniversary of First ARPANET Transmission, Precursor to Today's Internet”. SRI International. 2009년 10월 27일. 2019년 3월 29일에 원본 문서에서 보존된 문서. 2017년 9월 25일에 확인함. But the ARPANET itself had now become an island, with no links to the other networks that had sprung up. By the early 1970s, researchers in France, the UK, and the U.S. began developing ways of connecting networks to each other, a process known as internetworking.

[7] “Geneauto / P toolset - The P toolset includes a code generation and verification framework for the languages supported by the TOPCASED environment”. 싸이랩.

[8] “Gudhi, INRIA”.

[9] “medInria”.

[10] “NeurIPS 2019 Stats”. 2019년 12월 18일.

[:0-11] 〈The path to digital literacy and network culture in France (1980s to 1990s)〉. 《The Routledge Companion to Global Internet Histories》. Taylor & Francis. 2017. 84–89쪽. ISBN 978-1317607656.

[12] Et Dieu crea l'Internet, Christian Huitema, ISBN 2-212-08855-8, 1995, page 10

[13] Andrianarisoa, Menjanirina (2012년 3월 2일). “A brief history of the internet”.

전거 통제
국제	ISNI VIAF 2 3
국가	미국 프랑스 BnF 데이터 이탈리아 체코 2 이스라엘 카탈루냐
학술	CiNii 2
기타	IdRef 예일 LUX