Orna Grumberg - Orna Grumberg
Orna Grumberg ( ebraico : ארנה גרימברג ; nata il 30 aprile 1952 a Hadera vicino ad Haifa ) è un'informatica e accademica israeliana, titolare della cattedra di scienze Leumi presso il Technion .
Grumberg è noto per aver sviluppato il model checking , un metodo per verificare formalmente i progetti hardware e software. Con Edmund M. Clarke e Doron A. Peled è autrice del libro Model Checking (MIT Press, 1999).
Nel 2013 il Prof. Grumberg è stato eletto all'Academia Europaea . Nel 2015 è stata nominata Fellow dell'Association for Computing Machinery "per i contributi alla ricerca nella verifica formale automatizzata di sistemi hardware e software".