Date of Birth: 
Place of Birth: Hadera, Haifa District, Israel
About Orna Grumberg
- 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."
Read more at Wikipedia