GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
French Institute for Research in Computer Science and Automation
URI:
https://gptkb.org/entity/French_Institute_for_Research_in_Computer_Science_and_Automation
GPTKB entity
Statements (51)
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