title: Institut national de recherche en informatique et en automatique
text: # Institut national de recherche en informatique et en automatique
  
  L'Institut national de recherche en informatique et en automatique (INRIA, Istituto nazionale per la ricerca nell'informatica e nell'automazione) è un istituto nazionale francese per la ricerca, focalizzato sull'informatica, la teoria dell'automazione e la matematica applicata. Creato nel 1967 a Rocquencourt, vicino a Parigi, l'INRIA è un polo di ricerca scientifica e tecnologica, sotto la supervisione del ministro della ricerca e del ministero dell'economia, finanza e industria.
  
  È membro dell'Istituto europeo per le norme di telecomunicazione (ETSI).
  
  ## Ricerca nel campo dell'informatica
  
  L'INRIA compie ricerca sia nell'informatica teorica che applicata. In questo processo, ha realizzato numerosi programmi largamente usati. Infatti, ha progettato Caml, un linguaggio della famiglia ML, e sviluppato sia le implementazioni Caml Light che OCaml. Ha anche sviluppato Bigloo, una implementazione Scheme, e Scilab, un sistema di calcolo numerico molto simile a MATLAB.
  
  Alcuni programmi sviluppati all'Inria ampiamente utilizzati comprendono
  
  * Bigloo, un'implementazione di Scheme.
  * CADP, un tool box per la verifica di sistemi concorrenti asincroni
  * Caml, un linguaggio della famiglia ML.
  * Chorus, sistema operativo distribuito basato su microkernel
  * CompCert, compilatore C verificato per PowerPC, ARM e x86_32
  * Contrail
  * Coq, un proof assistant
  * Eigen (libreria C++)
  * Esterel, un linguaggio di programmazione per automi a stati finiti
  * Grafite, una piattaforma di ricerca per la computer grafica, la modellazione 3D e la geometria numerica
  * Gudhi — Una libreria C++ con interfaccia Python per topologia computazionale e analisi dei dati topologici
  * Le Lisp, un'implementazione Lisp portatile
  * medInria, un software di elaborazione delle immagini mediche, comunemente utilizzato per le immagini MRI.
  * GNU MPFR, una libreria a di aritmetica a virgola mobile di precisione arbitraria
  * OpenViBE, una piattaforma software dedicata alla progettazione, test e utilizzo di interfaccia cervello-computer.
  * Pharo, uno Smalltalk open source derivato da Squeak .
  * scikit-learn, un pacchetto software per il machine learning
  * Scilab, un pacchetto software di calcolo numerico
  * SmartEiffel, un compilatore Eiffel gratuito
  * SOFA, un framework open source per la simulazione multifisica con un'enfasi sulla simulazione medica.
  * ViSP, una libreria di piattaforma di servoing visuale open source
  * XtreemFS
  * XtreemOS
  
  Inria guida inoltre la ricerca francese sull'intelligenza artificiale, classificandosi nel 2019, sulla base delle pubblicazioni accettate alla prestigiosa Conference on Neural Information Processing Systems, al 12º posto a livello mondiale
  
  ## Stato amministrativo
  
  L'INRIA ha 6 unità di ricerca:
  
  * INRIA Futurs (Lilla, Saclay, Bordeaux)
  * INRIA Lorraine (LORIA - in associazione con il CNRS e università locali)
  * INRIA Rennes (IRISA - in associazione con il CNRS e università locali)
  * INRIA Rhône-Alpes (vicino a Grenoble)
  * INRIA Rocquencourt (presso Parigi)
  * INRIA Sophia-Antipolis (vicino a Nizza)
  
  Inoltre contribuisce alla ricerca scientifica fuori da questi centri.
  
  