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:focus
|
applied mathematics
computer science
|
gptkbp:founded
|
1967
|
gptkbp:fullName
|
gptkb:Institut_National_de_Recherche_en_Informatique_et_en_Automatique
|
gptkbp:hasResearchCenter
|
gptkb:Bordeaux
gptkb:Lille
gptkb:Nancy
gptkb:Paris
gptkb:Rennes
gptkb:Grenoble
gptkb:Sophia_Antipolis
gptkb:Saclay
|
gptkbp:headquartersLocation
|
gptkb:Le_Chesnay,_France
|
https://www.w3.org/2000/01/rdf-schema#label
|
INRIA
|
gptkbp:language
|
gptkb:French
English
|
gptkbp:mission
|
advance research in computer science and applied mathematics
|
gptkbp:notableAlumni
|
gptkb:Gérard_Huet
gptkb:Gilles_Kahn
gptkb:Jean-Pierre_Jouannaud
gptkb:Jean_Vuillemin
gptkb:Xavier_Leroy
|
gptkbp:notableProject
|
gptkb:Sophie_Germain
gptkb:OCaml
gptkb:Scilab
gptkb:ALTAIR
gptkb:Coq_proof_assistant
|
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:ERCIM
gptkb:European_Research_Consortium_for_Informatics_and_Mathematics
|
gptkbp:bfsLayer
|
4
|