Biography
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.
Popular books
No one has yet read a book by Orna Grumberg
Latest reviews
No one has yet written any reviews of books by Orna Grumberg
- 1 Books
Recent actions
-
toryah1988 has added Harry Potter And The Order Of The Phoenix to their read list.
-
-
-
-
Monica has added The Da Vinci Code (Large Print) to their wish list.