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