French Institute for Research in Computer Science and Automation - French Institute for Research in Computer Science and Automation
 | |
| Dannelse | 3. januar 1967 |
|---|---|
| Type | Offentlig |
| Formål | Forskning |
| Hovedkvarter | Rocquencourt , Frankrig |
| Felter |
Datalogi Anvendt matematik |
Officielle sprog |
Fransk , engelsk |
Formand |
Bruno Sportisse |
Budget |
€ 235 millioner (2013) |
Personale |
1.772 forskere |
| Internet side | inria.fr |
Det Nationale Institut for Forskning i datalogi og Automation ( INRIA ) ( fransk : Institut national de recherche en Informatique et da automatique ) er en fransk statsborger forskningsinstitution med fokus på datalogi og anvendt matematik . Det blev oprettet under navnet Institut de recherche en informatique et en automatique ( IRIA ) i 1967 på Rocquencourt nær Paris , en del af Plan Calcul . Dens første sted var de historiske lokaler for SHAPE (central kommando over NATOs militære styrker), som stadig bruges som Inrias hovedkvarter. I 1980 blev IRIA til INRIA. Siden 2011 har det været stylet Inria .
Inria er et offentligt videnskabeligt og teknisk forskningsinstitut (EPST) under dobbelt tilsyn af det franske ministerium for national uddannelse, avanceret undervisning og forskning og ministeriet for økonomi, finans og industri .
Administrativ status
Inria har 8 forskningscentre fordelt over hele Frankrig (i Bordeaux , Grenoble - Inovallée , Lille , Nancy , Paris - Rocquencourt , Rennes , Saclay og Sophia Antipolis ) og et center i udlandet i Santiago de Chile , Chile . Det bidrager også til akademiske forskerhold uden for disse centre.
Inria Rennes er en del af det fælles Institut de recherche en informatique et systèmes aléatoires (IRISA) med flere andre enheder.
Inden december 2007 dannede de tre centre i Bordeaux, Lille og Saclay et enkelt forskningscenter kaldet INRIA Futurs.
I oktober 2010 INRIA, med Pierre og Marie Curie Universitet og Paris Diderot Universitetet startede IRILL , et center for innovation og forskningsinitiativ til gratis software.
Inria beskæftiger 3800 medarbejdere. Blandt dem er 1300 forskere, 1000 ph.d. studerende og 500 postdoktorer.
Forskning
Inria laver både teoretisk og anvendt forskning inden for datalogi. I processen har den produceret mange meget udbredte programmer, som f.eks
- Bigloo , en implementering af ordningen
- CADP , en værktøjskasse til verifikation af asynkrone samtidige systemer
-
Caml , et sprog fra ML -familien
- Caml Light og OCaml implementeringer
- Chorus , mikrokernelbaseret distribueret operativsystem
- CompCert , verificeret C -compiler til PowerPC, ARM og x86_32
- Contrail
- Coq , en bevisassistent
- Eigen (C ++ bibliotek)
- Esterel , et programmeringssprog for State Automata
- Geneauto-kodegenerering fra model
- Graphite, en forskningsplatform for computergrafik, 3D -modellering og numerisk geometri
- Gudhi - Et C ++ - bibliotek med Python -interface til beregningstopologi og topologisk dataanalyse
- Le Lisp , en bærbar Lisp -implementering
- medInria, en medicinsk billedbehandlingssoftware, populært brugt til MR -billeder.
- GNU MPFR , et bibliotek med flydende punkter med vilkårlig præcision
- OpenViBE , en softwareplatform dedikeret til at designe, teste og bruge hjerne -computer -grænseflader .
- Pharo , en open-source Smalltalk afledt af Squeak [1] .
- scikit-learn , en softwarepakke til maskinlæring
- Scilab , en numerisk softwarepakke til beregning
- SimGrid
- SmartEiffel , en gratis Eiffel -kompilator
- SOFA , en open source-ramme for multi-fysik simulering med vægt på medicinsk simulering.
- TOM , et mønster, der matcher sprog
- ViSP , et open source visuelt servo -platformbibliotek
- XtreemFS
- XtreemOS
- Zenon , en udvidelig automatiseret sætningsprover, der producerer kontrollerbare beviser
Inria leder endvidere French AI Research, der er nummer 12 på verdensplan i 2019, baseret på accepterede publikationer på den prestigefyldte Conference on Neural Information Processing Systems .
Referencer
Yderligere læsning
- Beltran, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [ Historie om en computerpioner: 40 års forskning ved INRIA ] (på fransk). EDP Sciences. ISBN 2-86883-806-5.
eksterne links
- Officielt websted (på engelsk)