GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Institut national de recherche en informatique et en automatique
URI:
https://gptkb.org/entity/Institut_national_de_recherche_en_informatique_et_en_automatique
GPTKB entity
Statements (43)
Predicate
Object
gptkbp:instanceOf
gptkb:research_institute
gptkbp:abbreviation
gptkb:INRIA
gptkbp:affiliatedWith
gptkb:Université_de_Lille
gptkb:Université_Côte_d’Azur
gptkb:Université_Paris-Saclay
gptkb:Université_de_Lorraine
gptkb:Université_de_Sophia_Antipolis
gptkb:Université_Grenoble_Alpes
gptkb:Université_de_Rennes
gptkb:Université_de_Bordeaux
gptkbp:country
gptkb:France
gptkbp:director
gptkb:Bruno_Sportisse
gptkbp:field
applied mathematics
computer science
gptkbp:founded
1967
gptkbp:headquarters_location
gptkb:Le_Chesnay,_France
https://www.w3.org/2000/01/rdf-schema#label
Institut national de recherche en informatique et en automatique
gptkbp:languageOfWork
gptkb:French
English
gptkbp:mission
support for innovation and startups
technology transfer to industry
scientific research in computer science and applied mathematics
gptkbp:notableAlumni
gptkb:Gérard_Huet
gptkb:Gilles_Kahn
gptkb:Jean-Pierre_Jouannaud
gptkb:Jean_Vuillemin
gptkb:Philippe_Baptiste
gptkb:Xavier_Leroy
gptkbp:notableProject
gptkb:Scilab
gptkb:Coq_proof_assistant
gptkb:Caml_programming_language
gptkb:Sophie_Germain_project
gptkbp:number_of_research_centers
8
gptkbp:numberOfEmployees
approximately 2,400
gptkbp:parentOrganization
gptkb:French_Ministry_of_Higher_Education,_Research_and_Innovation
gptkbp:regionServed
gptkb:Europe
gptkb:France
International
gptkbp:type
gptkb:EPST_(Établissement_public_à_caractère_scientifique_et_technologique)
gptkbp:website
https://www.inria.fr/
gptkbp:bfsParent
gptkb:Inria
gptkb:Sorbonne_Paris_Cité_University
gptkbp:bfsLayer
6