French Institute for Research in Computer Science and Automation

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:public_university gptkb:research_institute
gptkbp:abbreviation	gptkb:Inria
gptkbp:country	gptkb:France
gptkbp:director	gptkb:Bruno_Sportisse
gptkbp:field	automation computer science
gptkbp:founded	1967
gptkbp:hasResearchCenter	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
https://www.w3.org/2000/01/rdf-schema#label	French Institute for Research in Computer Science and Automation
gptkbp:languageOfWork	gptkb:French English
gptkbp:notableAlumni	gptkb:Jean-Paul_Laumond gptkb:Jean-Michel_Bismut gptkb:Jean-Yves_Girard gptkb:Pierre-Louis_Lions gptkb:Jean-François_Abramatic gptkb:Jean-Charles_Faugère gptkb:Jean-Marc_Jézéquel 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_Coron gptkb:Jean-Michel_Morel gptkb:Xavier_Leroy gptkb:Jean-Louis_Loday
gptkbp:notableProject	gptkb:OCaml gptkb:Scilab gptkb:Coq_proof_assistant gptkb:Sophie_Germain_project Camembert (cheese) project
gptkbp:numberOfEmployees	3500
gptkbp:parentOrganization	gptkb:French_Ministry_of_Higher_Education,_Research_and_Innovation
gptkbp:website	https://www.inria.fr/
gptkbp:bfsParent	gptkb:Sorbonne_University_Association
gptkbp:bfsLayer	6