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

프랑스 컴퓨터 과학 및 자동화 연구소(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가 되었다.^[1] 2011년부터는 INRIA로 불린다.

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

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

행정적 지위

2013년 INRIA 그르노블 건물

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

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

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

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

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

연구

2014년 INRIA 파리-사클레

2007년 INRIA 소피아앙티폴리스 일부

2010년 INRIA 릴 내부 활동

2006년 INRIA 렌 (프랑스), 공동 IRISA의 일부

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

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

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

역사

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