Name Orna Grumberg | Role Author | |
![]() | ||
Orna Grumberg - Algorithmic model checking I
Orna Grumberg (Hebrew: ארנה גרימברג; born May 14, 1952) 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."
References
Orna Grumberg Wikipedia(Text) CC BY-SA