|
gptkbp:instanceOf
|
gptkb:research_institute
|
|
gptkbp:abbreviation
|
gptkb:Inria
|
|
gptkbp:awardYear
|
gptkb:ACM_Software_System_Award_(to_OCaml,_2021)
CNRS Gold Medal (to Gérard Huet, 1997)
|
|
gptkbp:budget
|
€265 million (2022)
|
|
gptkbp:collaboratesWith
|
gptkb:CNRS
industry partners
French universities
|
|
gptkbp:country
|
gptkb:France
|
|
gptkbp:director
|
gptkb:Bruno_Sportisse
|
|
gptkbp:focus
|
applied mathematics
computer science
|
|
gptkbp:founded
|
1967
|
|
gptkbp:founder
|
gptkb:French_government
|
|
gptkbp:fullName
|
gptkb:Institut_national_de_recherche_en_informatique_et_en_automatique
|
|
gptkbp:hasResearchCenter
|
gptkb:Bordeaux
gptkb:Lille
gptkb:Lyon
gptkb:Nancy
gptkb:Paris
gptkb:Rennes
gptkb:Grenoble
gptkb:Sophia_Antipolis
gptkb:Saclay
9
|
|
gptkbp:headquartersLocation
|
gptkb:Le_Chesnay,_France
|
|
gptkbp:language
|
gptkb:French
|
|
gptkbp:mission
|
advance digital science and technology
|
|
gptkbp:notableAlumni
|
gptkb:Gérard_Huet
gptkb:Gilles_Kahn
gptkb:Jean-Pierre_Jouannaud
gptkb:Xavier_Leroy
|
|
gptkbp:notableProject
|
gptkb:OCaml
gptkb:Scilab
gptkb:Coq_proof_assistant
gptkb:Sophie_Germain_project
|
|
gptkbp:numberOfEmployees
|
3500
|
|
gptkbp:parentOrganization
|
gptkb:French_Ministry_of_Higher_Education,_Research_and_Innovation
|
|
gptkbp:type
|
gptkb:research_institute
|
|
gptkbp:website
|
https://www.inria.fr/
|
|
gptkbp:bfsParent
|
gptkb:Bruno_Sportisse
gptkb:Sylvie_Oudot
gptkb:Lori_Lamel
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Inria
|