Institut National de Recherche en Informatique et en Automatique

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:research_institute
gptkbp:abbreviation	gptkb:INRIA
gptkbp:country	gptkb:France
gptkbp:director	gptkb:Bruno_Sportisse
gptkbp:field	automation computer science
gptkbp:focus	gptkb:scientific_research innovation technology transfer
gptkbp:founded	1967
gptkbp:headquarters_location	gptkb:Le_Chesnay
gptkbp:languageOfWork	gptkb:French English
gptkbp:location	gptkb:France
gptkbp:notableProject	gptkb:Pharo gptkb:Coq gptkb:OCaml gptkb:Scilab gptkb:GraalVM gptkb:Coq_proof_assistant gptkb:Pharo_Smalltalk gptkb:minister gptkb:Alt-Ergo_SMT_solver gptkb:Bigloo_Scheme_compiler gptkb:Cado-NFS gptkb:Caml_programming_language gptkb:Frama-C gptkb:GATB_(Genome_Analysis_Toolbox_with_de_Bruijn_graph) gptkb:Grid'5000 gptkb:MORSE_project gptkb:ProActive_Parallel_Suite gptkb:SimGrid gptkb:Spoon_project gptkb:TLA+_tools gptkb:Vasy_project gptkb:Why3 gptkb:Why3_platform gptkb:Zinc_project gptkb:OCaml_programming_language gptkb:Sophie_Germain_project gptkb:SageMath
gptkbp:numberOfEmployees	over 2,400
gptkbp:parentOrganization	gptkb:French_Ministry_of_Higher_Education,_Research_and_Innovation
gptkbp:type	gptkb:research_institute
gptkbp:website	https://www.inria.fr/
gptkbp:bfsParent	gptkb:INRIA
gptkbp:bfsLayer	5
https://www.w3.org/2000/01/rdf-schema#label	Institut National de Recherche en Informatique et en Automatique