프랑스 컴퓨터 과학 및 자동화 연구소
French Institute for Research in Computer Science and Automation형성 | 3일( 전 ( | 1월
---|---|
유형 | 일반의 |
목적 | 조사. |
본사 | 로큰쿠르, 프랑스 |
필드 | 컴퓨터 공학 응용 수학 |
공용어 | 프랑스어, 영어 |
대통령 | 브루노 스포티스 |
예산. | 2억3500만유로(2013년) |
직원 | 1,772명의 연구원 |
웹 사이트 | inria.fr |
프랑스 국립디지털과학기술연구소(Inria)는 프랑스 국립과학연구소(Institute national de recherche en sciences et technologies du numérique)로 컴퓨터 과학과 응용수학을 전문으로 하는 국립연구기관이다.1967년 프랑스 파리 근교 로큰쿠르에서 Plan Calcul의 일부인 Institut de recherche en informatique et en automatique(IRIA)라는 이름으로 설립되었습니다.첫 번째 장소는 지금도 인리아의 본부로 사용되고 있는 SHAPE(나토군 중앙 지휘부)의 역사적 장소였다.1980년에 IRIA는 [1]INRIA가 되었다.2011년부터는 인리아라고 불리고 있다.
Inria는 프랑스 국립교육고등교육연구부와 경제재정산업부의 이중 감독하에 있는 공공과학기술연구기관(EPST)이다.
관리 상태
Inria는 프랑스 전역에 9개의 연구소(보르도, 그르노블-이노발레, 릴, 리옹, 낭시, 파리-록켄쿠르, 렌, 사클레이, 소피아 안티폴리스)와 칠레 산티아고 데 칠레에 1개의 연구소를 두고 있다.또한 이러한 센터 이외의 학술 연구 팀에도 기여합니다.
Inria Rennes는 여러 다른 단체와 함께 Institute de recherche en informatique et systémes aléatoire(IRISA)의 일부입니다.
2007년 12월 이전에는 보르도, 릴, 사클레이의 3개 센터가 INRIA Futurs라는 이름의 단일 연구 센터를 만들었다.
2010년 10월 Inria는 Pierre and Marie Curie University(현 Sorbonne University), Paris Diderot University와 함께 무료 소프트웨어 혁신 및 연구 이니셔티브 센터인 IRIL을 시작했습니다.
Inria는 3800명의 직원을 고용한다.이 가운데 연구원 1300명, 박사과정 학생 1000명, 박사후 박사과정 500명이 포함돼 있다.
조사.
Inria는 컴퓨터 과학에서 이론과 응용 연구를 모두 한다.그 과정에서, 그것은 다음과 같이 널리 사용되는 많은 프로그램들을 생산해 왔다.
- Bigloo, 스킴 구현
- CADP, 비동기 동시 시스템 검증 도구 상자
- Caml, ML 패밀리의 언어
- 코러스, 마이크로커널 기반 분산 운영 체제
- CompCert, PowerPC, ARM 및 x86_32용 C 컴파일러 확인
- 비행운[2]
- Coq, 인증 보조
- 고유(C++ 라이브러리)
- State Automata용 프로그래밍 언어인Estrel
- Genauto - 모델에서 코드[3] 생성
- Graphite, 컴퓨터 그래픽, 3D 모델링 및 수치 기하학을 위한 연구 플랫폼
- Gudhi - 컴퓨터 토폴로지 및 토폴로지 데이터[4] 분석을 위한 Python 인터페이스를 갖춘 C++ 라이브러리
- Le Lisp, 휴대용 Lisp 구현
- 의료용 영상 처리 소프트웨어인 Medinria는 MRI [5]영상에 널리 사용됩니다.
- GNU MPFR, 임의 정밀도 부동소수점 라이브러리
- OpenViBE는 뇌-컴퓨터 인터페이스의 설계, 테스트 및 사용을 전문으로 하는 소프트웨어 플랫폼입니다.
- Pharo, Squak에서 파생된 오픈 소스 Smalltalk [1].
- skikit-learn, 머신 러닝 소프트웨어 패키지
- Scilab, 수치 계산 소프트웨어 패키지
- 심그리드
- SmartEiffel, 무료 에펠 컴파일러
- SOFA, 의료 시뮬레이션에 중점을 둔 다중 물리 시뮬레이션을 위한 오픈 소스 프레임워크.
- 패턴 매칭 언어인 TOM
- ViSP, 오픈소스 비주얼 서보 플랫폼 라이브러리
- XtreemFS[2]
- XtreemOS
- 제논, 확인 가능한 증거를 생성하는 확장 가능한 자동 정리 프로버
Inria는 또한 권위 있는 신경정보처리시스템 [6]콘퍼런스에서 인정받은 논문들을 바탕으로 2019년 프랑스 AI 리서치를 세계 12위로 이끌었습니다.
레퍼런스
- ^ (프랑스어) Décret #79-1158 du 27 decembre 1979 Création d'un informatique et en automatique (INRIA), établisement public à caractér administrie, placé la tutelle du de l'inistrie.
- ^ a b Versweyveld, Leslie (30 October 2012). "The Contrail project is proud to present its first complete set of interoperable Cloud federation tools". International Science Grid This Week (ISGTW). Archived from the original on 2013-10-17. Retrieved 17 October 2013.
- ^ "Geneauto / P toolset - The P toolset includes a code generation and verification framework for the languages supported by the TOPCASED environment". Scilab.
- ^ "Gudhi, INRIA".
- ^ "medInria".
- ^ "NeurIPS 2019 Stats". 18 December 2019.
추가 정보
- Beltran, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [Story of a computer pioneer: 40 years of research at INRIA] (in French). EDP Sciences. ISBN 978-2-86883-806-3.