Orna Grumberg (born May 14,1952) is a ground-breaking computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.
Orna Grumberg (born May 14,1952) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. She is noted for developing model checking, a method for formally verifying hardware and software designs.