Institutul francez de cercetare în informatică și automatizare - French Institute for Research in Computer Science and Automation
 | |
| Formare | 3 ianuarie 1967 |
|---|---|
| Tip | Public |
| Scop | Cercetare |
| Sediu | Rocquencourt , Franța |
| Câmpuri |
Informatică Matematică aplicată |
Limbile oficiale |
Franceză , engleză |
Președinte |
Bruno Sportisse |
Buget |
235 milioane EUR (2013) |
Personal |
1.772 de cercetători |
| Site-ul web | inria.fr |
Institutul National de Cercetare in Informatica si Automatica ( INRIA ) ( franceză : Institut National de Recherche en Informatique et en automatique ) este un francez instituție națională de cercetare axate pe informatică și matematică aplicate . A fost creat sub numele de Institut de recherche en informatique et en automatique ( IRIA ) în 1967 la Rocquencourt lângă Paris , parte a Plan Calcul . Primul său site a fost sediul istoric al SHAPE (comandamentul central al forțelor militare NATO ), care este încă folosit ca sediu principal al Inria. În 1980, IRIA a devenit INRIA. Din 2011, a fost denumit Inria .
Inria este o instituție publică de cercetare științifică și tehnică (EPST) sub dubla supraveghere a Ministerului francez al educației naționale, instruirii avansate și cercetării și a Ministerului Economiei, Finanțelor și Industriei .
Stare administrativă
Inria are 8 centre de cercetare distribuite în Franța (în Bordeaux , Grenoble - Inovallée , Lille , Nancy , Paris - Rocquencourt , Rennes , Saclay și Sophia Antipolis ) și un centru în străinătate în Santiago de Chile , Chile . De asemenea, contribuie la echipe de cercetare academică din afara acestor centre.
Inria Rennes face parte din Institutul comun de cercetare în informatică și sisteme aleatoare (IRISA) cu alte câteva entități.
Înainte de decembrie 2007, cele trei centre din Bordeaux, Lille și Saclay au format un singur centru de cercetare numit INRIA Futurs.
În octombrie 2010, Inria, împreună cu Universitatea Pierre și Marie Curie și Universitatea Paris Diderot a început IRILL , un centru de inovație și inițiativă de cercetare pentru software-ul liber.
Inria are 3.800 de angajați. Printre aceștia sunt 1300 de cercetători, 1000 de doctoranzi. studenți și 500 postdoctorate.
Cercetare
Inria face atât cercetări teoretice, cât și cercetări aplicate în informatică. În acest proces, a produs multe programe utilizate pe scară largă, cum ar fi
- Bigloo , o implementare Scheme
- CADP , o cutie de instrumente pentru verificarea sistemelor simultane asincrone
-
Caml , un limbaj din familia
ML
- Implementări Caml Light și OCaml
- Chorus , sistem de operare distribuit bazat pe microkernel
- CompCert , compilator C verificat pentru PowerPC, ARM și x86_32
- Contrail
- Coq , un asistent de probă
- Eigen (bibliotecă C ++)
- Esterel , un limbaj de programare pentru State Automata
- Geneauto - generarea de cod din model
- Graphite, o platformă de cercetare pentru grafică pe computer, modelare 3D și geometrie numerică
- Gudhi - O bibliotecă C ++ cu interfață Python pentru topologia de calcul și analiza datelor topologice
- Le Lisp , o implementare portabilă Lisp
- medInria, un software de procesare a imaginilor medicale, utilizat în mod popular pentru imagini RMN.
- GNU MPFR , o bibliotecă cu virgulă mobilă de precizie arbitrară
- OpenViBE , o platformă software dedicată proiectării, testării și utilizării interfețelor creier-computer .
- Pharo , un Smalltalk open-source derivat din Squeak [1] .
- scikit-learn , un pachet software de învățare automată
- Scilab , un pachet software de calcul numeric
- SimGrid
- SmartEiffel , un compilator Eiffel gratuit
- SOFA , un cadru open source pentru simulare multi-fizică cu accent pe simularea medicală.
- TOM , un limbaj de potrivire a modelelor
- ViSP , o bibliotecă de platformă de servere vizuale open source
- XtreemFS
- XtreemOS
- Zenon , un tester de teoreme automatizat extensibil care produce dovezi verificabile
În plus, Inria conduce franceza AI Research, clasându-se pe locul 12 în întreaga lume în 2019, pe baza publicațiilor acceptate la prestigioasa Conferință privind sistemele de procesare a informațiilor neuronale .
Referințe
Lecturi suplimentare
- Beltran, Alain; Griset, Pascal (2007). Histoire d'un pionnier de l'informatique: 40 ans de recherche à l'Inria [ Povestea unui pionier în computere: 40 de ani de cercetare la INRIA ] (în franceză). Științe EDP. ISBN 2-86883-806-5.
linkuri externe
- Site-ul oficial (în engleză)