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).
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Orna Grumberg (de)
- Orna Grumberg (es)
- Orna Grumberg (en)
|
| rdfs:comment
| - 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. (de)
- 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). (es)
- 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). (en)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has abstract
| - 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. (de)
- 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". (es)
- 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." (en)
|
| gold:hypernym
| |
| schema:sameAs
| |
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage disambiguates
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
