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. In 2013 Prof. Grumberg was elected to the Academia Europaea.
- Faculty profile, Technion, retrieved 2013-12-07.
- Microsoft Research profile
- Ziri, Danielle (October 3, 2013), Seven Israeli Professors elected to Academia Europaea, Jerusalem Post.