Institut national de recherche en informatique et en automatique

Institut national de recherche en informatique et en automatique ( INRIA , National Institute for Research in Informatics and Automation) er et fransk nasjonalt institutt for forskning, med fokus på informatikk , automatiseringsteori og anvendt matematikk . INRIA ble opprettet i 1967 i Rocquencourt , nær Paris , og er et vitenskapelig og teknologisk forskningssenter, under tilsyn av forskningsministeren og departementet for økonomi, finans og industri.

Han er medlem av European Telecommunication Standards Institute (ETSI). [1]

Forskning innen datavitenskap

INRIA driver forskning innen både teoretisk og anvendt informatikk. I denne prosessen har han laget en rekke mye brukte programmer. Faktisk designet han Caml , et språk fra ML -familien , og utviklet både Caml Light- og OCaml- implementeringene . Han utviklet også Bigloo , en Scheme- implementering , og Scilab , et numerisk datasystem som ligner veldig på MATLAB .

Noen mye brukte programmer utviklet ved Inria inkluderer

• Bigloo , en implementering av Scheme .
• CADP , en verktøykasse for testing av samtidige asynkrone systemer
• Caml , et språk i ML -familien .
• Chorus , distribuert operativsystem basert på mikrokjerne
• CompCert , verifisert C-kompilator for PowerPC, ARM og x86_32
• Kontra [2]
• Coq , en bevisassistent
• Egen (C ++ bibliotek)
• Esterel , et programmeringsspråk for finite state-automater
• Graphite, en forskningsplattform for datagrafikk, 3D-modellering og numerisk geometri
• Gudhi - A C ++- bibliotek med Python -grensesnitt for beregningstopologi og topologisk dataanalyse [3]
• Le Lisp , en bærbar Lisp-implementering
• medInria, en medisinsk bildebehandlingsprogramvare som vanligvis brukes til MR-bilder. [4]
• GNU MPFR , et flytende punkts aritmetisk bibliotek med vilkårlig presisjon
• OpenViBE , en programvareplattform dedikert til design, testing og bruk av hjerne-datamaskin-grensesnitt .
• Pharo , en åpen kildekode Smalltalk avledet fra Squeak [1] .
• scikit-learn , en programvarepakke for maskinlæring
• Scilab , en programvarepakke for numerisk beregning
• SmartEiffel , en gratis Eiffel-kompilator
• SOFA , et åpen kildekode-rammeverk for multifysikksimulering med vekt på medisinsk simulering.
• ViSP , et åpen kildekodebibliotek for visuell servoplattform
• XtreemFS [2]
• XtreemOS

Inria leder også den franske forskningen på kunstig intelligens, rangert som nummer 12 på verdensbasis i 2019, basert på publikasjonene som ble akseptert på den prestisjetunge Conference on Neural Information Processing Systems .

Administrativ status

INRIA har 6 forskningsenheter:

• INRIA Futurs ( Lille , Saclay , Bordeaux )
• INRIA Lorraine (LORIA - i samarbeid med CNRS og lokale universiteter)
• INRIA Rennes (IRISA - i samarbeid med CNRS og lokale universiteter)
• INRIA Rhône-Alpes (nær Grenoble )
• INRIA Rocquencourt (nær Paris )
• INRIA Sophia-Antipolis (nær Nice )

Den bidrar også til vitenskapelig forskning utenfor disse sentrene.

Merknader

1. ^ Liste over alle ETSI fullverdige medlemmer - ETSI assosierte medlemmer - Observatører - Rådgivere
2. ^ a b Leslie Versweyveld, The Contrail-prosjektet er stolte av å presentere sitt første omfattende sett med interoperable verktøy for nettskyforbundet , på International Science Grid This Week (ISGTW) , 30. oktober 2012. Hentet 17. oktober 2013 (arkivert av ' original url 17. oktober 2013) .
3. ^ Gudhi, INRIA , på gudhi.gforge.inria.fr .
4. ^ medInria , på med.inria.fr .
5. ^ NeurIPS 2019-statistikk , på medium.com .

Eksterne lenker

• Offisiell nettside , på inria.fr .