Orna Grumberg

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Orna Grumberg (born May 14, 1952) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.[1] She is noted for developing model checking, a method for formally verifying hardware and software designs.[2] In 2013 Prof. Grumberg was elected to the Academia Europaea.[3]


  1. ^ Faculty profile, Technion, retrieved 2013-12-07.
  2. ^ Microsoft Research profile
  3. ^ Ziri, Danielle (October 3, 2013), Seven Israeli Professors elected to Academia Europaea, Jerusalem Post .