Orna Grumberg - Orna Grumberg
Orna Grumberg (en hebreo : ארנה גרימברג ; nacida el 30 de abril de 1952 en Hadera, cerca de Haifa ) es una científica informática y académica israelí, la Cátedra de Ciencias Leumi en el Technion .
Grumberg se destaca por desarrollar la verificación de modelos , un método para verificar formalmente los diseños de hardware y software. Junto a Edmund M. Clarke y Doron A. Peled , es autora del libro Model Checking (MIT Press, 1999).
En 2013, el profesor Grumberg fue elegido miembro de la Academia Europaea . En 2015 fue nombrada miembro de la Association for Computing Machinery "por sus contribuciones a la investigación en la verificación formal automatizada de sistemas de hardware y software".