GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Institut National de Recherche en Informatique et en Automatique
URI:
https://gptkb.org/entity/Institut_National_de_Recherche_en_Informatique_et_en_Automatique
GPTKB entity
Statements (48)
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
innovation
scientific research
technology transfer
gptkbp:founded
1967
gptkbp:headquarters_location
gptkb:Le_Chesnay
https://www.w3.org/2000/01/rdf-schema#label
Institut National de Recherche en Informatique et en Automatique
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: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
minister
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