GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
French National Institute for Research in Computer Science and Automation (INRIA)
URI:
https://gptkb.org/entity/French_National_Institute_for_Research_in_Computer_Science_and_Automation_(INRIA)
GPTKB entity
Statements (51)
Predicate
Object
gptkbp:instanceOf
gptkb:research_institute
gptkbp:abbreviation
gptkb:INRIA
gptkbp:budget
over €250 million (approximate, varies by year)
gptkbp:collaboratesWith
gptkb:CNRS
industry partners
French universities
gptkbp:country
gptkb:France
gptkbp:director
gptkb:Bruno_Sportisse
gptkbp:field
automation
computer science
gptkbp:focus
gptkb:mathematics
software development
scientific and technological research
gptkbp:founded
1967
gptkbp:hasLaboratory
gptkb:Bordeaux
gptkb:Lille
gptkb:Lyon
gptkb:Nancy
gptkb:Paris
gptkb:Rennes
gptkb:Grenoble
gptkb:Sophia_Antipolis
gptkb:Saclay
gptkbp:headquarters_location
gptkb:Le_Chesnay,_France
https://www.w3.org/2000/01/rdf-schema#label
French National Institute for Research in Computer Science and Automation (INRIA)
gptkbp:language
gptkb:French
English
gptkbp:mission
advance digital science and technology
support innovation in digital technology
gptkbp:notableAlumni
gptkb:Gérard_Huet
gptkb:Gilles_Kahn
gptkb:Jean-Pierre_Jouannaud
gptkb:Jean_Vuillemin
gptkb:Serge_Abiteboul
gptkb:Philippe_Baptiste
gptkb:Christine_Paulin-Mohring
gptkb:Jean-Jacques_Lévy
gptkb:Patrick_Cousot
gptkb:Jean-Michel_Morel
gptkb:Xavier_Leroy
gptkbp:notableProject
gptkb:Scilab
gptkb:Coq_proof_assistant
gptkb:OCaml_programming_language
gptkb:Sophie_Germain_project
gptkbp:numberOfEmployees
over 3,500
gptkbp:parentOrganization
gptkb:French_Ministry_of_Higher_Education,_Research_and_Innovation
gptkbp:status
public institution of scientific and technological character
gptkbp:type
gptkb:research_institute
gptkbp:website
https://www.inria.fr/en
gptkbp:bfsParent
gptkb:Multics_operating_system
gptkbp:bfsLayer
5