Orna Grumberg

Grumberg 2006

Orna Grumberg ( hebreiska : ארנה גרימברג ; född 30 april 1952 i Hadera nära Haifa ) är en israelisk datavetare och akademiker, Leumi-lärarstolen för vetenskap vid Technion .

Grumberg är känt för att utveckla modellkontroll , en metod för att formellt verifiera hård- och mjukvarudesigner. Tillsammans med Edmund M. Clarke och Doron A. Peled är hon författaren till boken Model Checking (MIT Press, 1999).

2013 valdes Grumberg in i Academia Europaea . 2015 utsågs hon till Fellow i Association for Computing Machinery "för bidrag till forskning inom automatiserad formell verifiering av hård- och mjukvarusystem."