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

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

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

행정적 지위
섬네일|left|upright=1.1|2013년 INRIA 그르노블 건물
INRIA는 프랑스 전역에 9개의 연구 센터(보르도, 그르노블-이노발레, 릴, 리옹, 낭시, 파리 (프랑스)-로크캥쿠르, 렌 (프랑스), 사클레 고원, 소피아앙티폴리스)와 칠레 산티아고에 해외 센터 한 곳을 두고 있다. 또한 이 센터 외의 학술 연구팀에도 기여한다.

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

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

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

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

연구
섬네일|right|2014년 INRIA 파리-사클레
섬네일|alt=언덕과 푸른 숲을 내려다보는 직사각형 건물의 콘크리트 현관에 있는 의자 두 개|2007년 INRIA 소피아앙티폴리스 일부
섬네일|right|2010년 INRIA 릴 내부 활동
섬네일|right|2006년 INRIA 렌 (프랑스), 공동 IRISA의 일부
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를 사용하는 네트워크에 프랑스 네트워크가 직접 연결된 최초의 사례였다. 프랑스의 인터넷은 앞으로 몇 년 동안 연구 및 교육 목적으로 제한되었다.Et Dieu crea l'Internet, Christian Huitema, , 1995, page 10

 각주 
섬네일|right|upright=0.541|2010년 EuraTechnologies의 INRIA

더 읽어보기


 외부 링크 

분류:이론 컴퓨터 과학