Instituto Francês de Pesquisa em Ciência da Computação e Automação - French Institute for Research in Computer Science and Automation
 | |
| Formação | 3 de janeiro de 1967 |
|---|---|
| Modelo | Público |
| Propósito | Pesquisar |
| Quartel general | Rocquencourt , França |
| Campos |
Ciência da computação matemática aplicada |
Línguas oficiais |
Francês , inglês |
Presidente |
Bruno Sportisse |
Despesas |
€ 235 milhões (2013) |
Pessoal |
1.772 pesquisadores |
| Local na rede Internet | inria.fr |
O Instituto Nacional de Pesquisa em Ciência da Computação e Automação ( Inria ) ( francês : Institut national de recherche en informatique et en automatique ) é uma instituição de pesquisa nacional francesa com foco em ciência da computação e matemática aplicada . Foi criado com o nome de Institut de recherche en informatique et en automatique ( IRIA ) em 1967 em Rocquencourt, perto de Paris , parte do Plan Calcul . O seu primeiro local foi o edifício histórico do SHAPE (comando central das forças militares da OTAN ), que ainda hoje é o quartel-general do Inria. Em 1980, IRIA tornou-se INRIA. Desde 2011, foi denominado Inria .
O Inria é um Estabelecimento Público de Pesquisa Científica e Técnica (EPST) sob a dupla supervisão do Ministério da Educação Nacional, Instrução Avançada e Pesquisa da França e do Ministério da Economia, Finanças e Indústria .
Situação administrativa
Inria possui 8 centros de pesquisa distribuídos pela França (em Bordeaux , Grenoble - Inovallée , Lille , Nancy , Paris - Rocquencourt , Rennes , Saclay e Sophia Antipolis ) e um centro no exterior em Santiago do Chile , Chile . Também contribui para equipes de pesquisa acadêmica fora desses centros.
Inria Rennes faz parte do Institut de recherche en informatique et systèmes aléatoires (IRISA) com várias outras entidades.
Antes de dezembro de 2007, os três centros de Bordeaux, Lille e Saclay formavam um único centro de pesquisa denominado INRIA Futurs.
Em outubro de 2010, Inria, com Universidade Pierre e Marie Curie e Paris Diderot Universidade começou IRILL , um centro de inovação e iniciativa de pesquisa para o software livre.
Inria emprega 3800 pessoas. Entre eles estão 1300 pesquisadores, 1000 doutores. alunos e 500 pós-doutorados.
Pesquisar
Inria faz pesquisa teórica e aplicada em ciência da computação. No processo, produziu muitos programas amplamente utilizados, como
- Bigloo , uma implementação de Scheme
- CADP , uma caixa de ferramentas para a verificação de sistemas simultâneos assíncronos
-
Caml , uma língua da família
ML
- Implementações Caml Light e OCaml
- Chorus , sistema operacional distribuído baseado em microkernel
- CompCert , compilador C verificado para PowerPC, ARM e x86_32
- Contrail
- Coq , um assistente de prova
- Eigen (biblioteca C ++)
- Esterel , uma linguagem de programação para State Automata
- Geneauto - geração de código a partir do modelo
- Graphite, uma plataforma de pesquisa para computação gráfica, modelagem 3D e geometria numérica
- Gudhi - uma biblioteca C ++ com interface Python para topologia computacional e análise de dados topológicos
- Le Lisp , uma implementação Lisp portátil
- medInria, um software de processamento de imagens médicas, popularmente usado para imagens de ressonância magnética.
- GNU MPFR , uma biblioteca de ponto flutuante de precisão arbitrária
- OpenViBE , uma plataforma de software dedicada a projetar, testar e usar interfaces cérebro-computador .
- Pharo , um Smalltalk de código aberto derivado de Squeak [1] .
- scikit-learn , um pacote de software de aprendizado de máquina
- Scilab , um pacote de software de computação numérica
- SimGrid
- SmartEiffel , um compilador Eiffel grátis
- SOFA , uma estrutura de código aberto para simulação multifísica com ênfase na simulação médica.
- TOM , uma linguagem de correspondência de padrões
- ViSP , uma biblioteca de plataforma de servo visual de código aberto
- XtreemFS
- XtreemOS
- Zenon , um provador de teoremas automatizado extensível que produz provas verificáveis
Além disso, Inria lidera a French AI Research, ocupando a 12ª posição mundial em 2019, com base em publicações aceitas na prestigiosa Conference on Neural Information Processing Systems .
Referências
Leitura adicional
- Beltran, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [ História de um pioneiro da informática: 40 anos de pesquisa no INRIA ] (em francês). EDP Sciences. ISBN 2-86883-806-5.
links externos
- Site oficial (em inglês)