Institut National de Recherche en Informatique et en Automatique (INRIA)

URI: https://gptkb.org/entity/Institut_National_de_Recherche_en_Informatique_et_en_Automatique_(INRIA)
GPTKB entity
Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:research_institute
gptkbp:abbreviation gptkb:INRIA
gptkbp:collaboratesWith gptkb:CNRS
industry partners
French universities
gptkbp:country gptkb:France
gptkbp:director gptkb:Bruno_Sportisse
gptkbp:field applied mathematics
computer science
gptkbp:focus innovation
scientific research
technology transfer
gptkbp:founded 1967
gptkbp:headquarters gptkb:Rocquencourt,_France
https://www.w3.org/2000/01/rdf-schema#label Institut National de Recherche en Informatique et en Automatique (INRIA)
gptkbp:language gptkb:French
gptkbp:location multiple sites in France
gptkbp:mission advance digital science and technology
gptkbp:notableProject gptkb:Scilab
gptkb:Coq_proof_assistant
gptkb:OCaml_programming_language
gptkb:Sophie_Germain_project
gptkbp:numberOfEmployees over 2,400
gptkbp:parentOrganization gptkb:French_Ministry_of_Higher_Education,_Research_and_Innovation
gptkbp:research_teams over 200
gptkbp:type gptkb:research_institute
gptkbp:website https://www.inria.fr/
gptkbp:bfsParent gptkb:Alliance_Sorbonne_Université
gptkbp:bfsLayer 6