Orna Grumberg
id:
orna-grumberg-218-1859329
title:
Orna Grumberg
text:
Orna Grumberg 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. In 2013, 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
brand slug:
wiki
category slug:
encyclopedia
description:
Israeli computer scientist
original url:
https://en.wikipedia.org/wiki/Orna_Grumberg
date created:
2013-12-07T13:07:33Z
date modified:
2024-09-13T07:32:21Z
main entity:
{"identifier":"Q15995111","url":"https://www.wikidata.org/entity/Q15995111"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/3/33/Orna_Grumberg_2006.jpg","width":432,"height":640}
fields total:
13
integrity:
16