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