This HTML5 document contains 76 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n5https://dblp.org/pid/g/
dbohttp://dbpedia.org/ontology/
n22http://dbpedia.org/resource/File:
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n8https://global.dbpedia.org/id/
dbpedia-hehttp://he.dbpedia.org/resource/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n29http://ast.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
n28http://viaf.org/viaf/
n7http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n26http://d-nb.info/gnd/
n15http://data.bibliotheken.nl/id/thes/

Statements

Subject Item
dbr:Orna_Grumberg
rdf:type
yago:Object100002684 yago:Scientist110560637 yago:WikicatLivingPeople yago:WikicatWomenComputerScientists yago:Organism100004475 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 dbo:Person yago:PhysicalEntity100001930 yago:CausalAgent100007347 owl:Thing yago:WikicatIsraeliComputerScientists yago:Person100007846 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:LivingThing100004258
rdfs:label
Orna Grumberg Orna Grumberg Orna Grumberg
rdfs:comment
Orna Grumberg (Hebrew: ארנה גרימברג; born April 30, 1952 in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking (MIT Press, 1999). Orna Grumberg (hebräisch ארנה גרימברג; geb. 14. Mai 1952 in Chadera) ist eine israelische Informatikerin. Sie hat derzeit den Leumi Chair of Science am Technion, der Technischen Universität Israels in Haifa, inne. Orna Grumberg (en hebreo, ארנה גרימברג‎: ארנה גרימברג‎‎; 14 de mayo de 1952) es una informática israelí y académica, catedrática Leumi de Ciencia en el Technion.​ Es conocida por su desarrollo de la verificación de modelos, un método para verificar formalmente diseños de hardware y software. Con Edmund M. Clarke y Doron A. Peled, es coautora del libro Model Checking (MIT Press, 1999).​
foaf:depiction
n7:Orna_Grumberg_2006.jpg
dcterms:subject
dbc:Place_of_birth_missing_(living_people) dbc:1952_births dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Members_of_Academia_Europaea dbc:Technion_–_Israel_Institute_of_Technology_faculty dbc:Israeli_women_computer_scientists dbc:Israeli_computer_scientists dbc:Living_people
dbo:wikiPageID
41297280
dbo:wikiPageRevisionID
1101774640
dbo:wikiPageWikiLink
dbr:List_of_Fellows_of_the_Association_for_Computing_Machinery dbr:Edmund_M._Clarke dbr:Hadera dbc:1952_births dbc:Place_of_birth_missing_(living_people) dbr:Doron_A._Peled dbr:Technion dbr:Haifa dbc:Fellows_of_the_Association_for_Computing_Machinery dbc:Israeli_computer_scientists dbc:Members_of_Academia_Europaea n22:Orna_Grumberg_2006.jpg dbr:Academia_Europaea dbr:Formal_verification dbc:Israeli_women_computer_scientists dbc:Technion_–_Israel_Institute_of_Technology_faculty dbr:Model_checking dbc:Living_people
owl:sameAs
n5:OrnaGrumberg n8:ajjc dbpedia-de:Orna_Grumberg n15:p123441250 dbpedia-es:Orna_Grumberg yago-res:Orna_Grumberg freebase:m.051h4qp wikidata:Q15995111 dbpedia-he:ארנה_גרימברג n26:1071969641 n28:85195028 n29:Orna_Grumberg
dbp:wikiPageUsesTemplate
dbt:Authority_Control dbt:Reflist dbt:Short_description
dbo:thumbnail
n7:Orna_Grumberg_2006.jpg?width=300
dbo:abstract
Orna Grumberg (en hebreo, ארנה גרימברג‎: ארנה גרימברג‎‎; 14 de mayo de 1952) es una informática israelí y académica, catedrática Leumi de Ciencia en el Technion.​ Es conocida por su desarrollo de la verificación de modelos, un método para verificar formalmente diseños de hardware y software. Con Edmund M. Clarke y Doron A. Peled, es coautora del libro Model Checking (MIT Press, 1999).​ En 2013 fue elegida para la Academia Europaea.​ En 2015 nombrada miembro de Association for Computing Machinery "por sus contribuciones a la investigación en la verificación formal automatizada de hardware y sistemas de software".​ Orna Grumberg (Hebrew: ארנה גרימברג; born April 30, 1952 in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking (MIT Press, 1999). In 2013 Prof. Grumberg was elected to the Academia Europaea. In 2015 she was named a Fellow of the Association for Computing Machinery "for contributions to research in automated formal verification of hardware and software systems." Orna Grumberg (hebräisch ארנה גרימברג; geb. 14. Mai 1952 in Chadera) ist eine israelische Informatikerin. Sie hat derzeit den Leumi Chair of Science am Technion, der Technischen Universität Israels in Haifa, inne.
gold:hypernym
dbr:Scientist
schema:sameAs
n28:85195028
prov:wasDerivedFrom
wikipedia-en:Orna_Grumberg?oldid=1101774640&ns=0
dbo:wikiPageLength
2653
foaf:isPrimaryTopicOf
wikipedia-en:Orna_Grumberg