Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.