INRIA

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 22. august 2021; checks kræver 2 redigeringer .

INRIA ( fransk:  Institut national de recherche en informatique et en automatique , National Institute for Research in Informatics and Automation) er et nationalt forskningsinstitut i Frankrig, der arbejder inden for datalogi, kontrolteori og anvendt matematik.

Oprettet i 1967 i Rocancourt nær Paris som en del af regeringsprogrammet Plan Calcul .

INRIA er en videnskabelig og teknologisk offentlig institution ( établissement public à caractère scientifique et technologique , EPST) og er under den dobbelte administration af undervisningsministeriet og økonomiministeriet.

Forskning i datalogi

INRIA udfører praktisk og teoretisk forskning inden for datalogi. Instituttet har lavet:

Status

INRIA omfatter 8 forskningscentre.

Indtil december 2007 dannede de tre centre i Bordeaux , Lille og Saclay et samlet center INRIA Futurs .

I oktober 2010 skabte INRIA sammen med Pierre og Marie Curie University og Paris Diderot University IRILL  , et innovations- og forskningscenter for fri software.

INRIA beskæftiger omkring 3,8 tusinde mennesker, herunder 1300 forskere, omkring tusind mennesker, der arbejder på en ph.d. og 500 postdoc-stipendiater .

Litteratur

Noter

  1. ↑ Geneauto/P-værktøjssættet - P-værktøjssættet inkluderer en kodegenererings- og verifikationsramme for de sprog, der understøttes af TOPCASED-miljøet . Dato for adgang: 25. december 2014. Arkiveret fra originalen 25. december 2014.

Links