Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Orna_Grumberg> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Orna_Grumberg abstract "Orna Grumberg (born May 14, 1952) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. She is noted for developing model checking, a method for formally verifying hardware and software designs. In 2013 Prof. Grumberg was elected to the Academia Europaea.".
- Orna_Grumberg wikiPageID "41297280".
- Orna_Grumberg wikiPageRevisionID "585092970".
- Orna_Grumberg subject Category:1952_births.
- Orna_Grumberg subject Category:Israeli_computer_scientists.
- Orna_Grumberg subject Category:Living_people.
- Orna_Grumberg subject Category:Members_of_Academia_Europaea.
- Orna_Grumberg subject Category:Technion_–_Israel_Institute_of_Technology_faculty.
- Orna_Grumberg subject Category:Women_computer_scientists.
- Orna_Grumberg comment "Orna Grumberg (born May 14, 1952) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. She is noted for developing model checking, a method for formally verifying hardware and software designs. In 2013 Prof. Grumberg was elected to the Academia Europaea.".
- Orna_Grumberg label "Orna Grumberg".
- Orna_Grumberg sameAs m.051h4qp.
- Orna_Grumberg sameAs Q15995111.
- Orna_Grumberg sameAs Q15995111.
- Orna_Grumberg wasDerivedFrom Orna_Grumberg?oldid=585092970.
- Orna_Grumberg isPrimaryTopicOf Orna_Grumberg.