Orna Grumberg - Orna Grumberg
Orna Grumberg ( hebrejsky : ארנה גרימברג ; narozený 14. května 1952 v Hadera nedaleko Haify ) je izraelský počítačový vědec a akademická se Leumi předseda věd na Technion .
Grumberg je známý vývojem kontroly modelu , metodou formálního ověřování návrhů hardwaru a softwaru. Spolu s Edmundem M. Clarkem a Doronem A. Peledem je autorkou knihy Model Checking (MIT Press, 1999).
V roce 2013 byl profesor Grumberg zvolen do Academia Europaea . V roce 2015 byla jmenována členkou Asociace pro výpočetní techniku „za příspěvky k výzkumu v oblasti automatizovaného formálního ověřování hardwarových a softwarových systémů“.