Orna Grumberg - Orna Grumberg
Orna Grumberg ( hebr . ארנה גרימברג ; ur. 30 kwietnia 1952 r. w Haderze koło Hajfy ) jest izraelskim informatykiem i naukowcem, pracującym w Leumi Chair of Science w Technion .
Grumberg jest znany z opracowywania sprawdzania modeli , metody formalnej weryfikacji projektów sprzętu i oprogramowania. Wraz z Edmundem M. Clarke i Doronem A. Peledem jest autorką książki Model Checking (MIT Press, 1999).
W 2013 roku prof. Grumberg został wybrany do Academia Europaea . W 2015 roku otrzymała tytuł Fellow of the Association for Computing Machinery „za wkład w badania nad zautomatyzowaną formalną weryfikacją systemów sprzętowych i oprogramowania”.