Orna Grumberg (en hebreo : ארנה גרימברג ; nacida el 14 de mayo 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 . [1]
Grumberg se destaca por desarrollar la verificación de modelos , un método para verificar formalmente los diseños de hardware y software. [2] Con Edmund M. Clarke y Doron A. Peled , es autora del libro Model Checking (MIT Press, 1999). [3] [4]
En 2013, el profesor Grumberg fue elegido miembro de la Academia Europaea . [5] 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". [6]
Referencias
- ^ Perfil de la facultad , Technion, consultado el 7 de diciembre de 2013.
- ^ Perfil de investigación de Microsoft Archivado el 21 de octubre de 2014 en la Wayback Machine.
- ^ Revisión de la comprobación de modelos por Vladimir Zakharov (2001), Journal of Logic and Computation 11 (6): 962–964, doi : 10.1093 / logcom / 11.6.962
- ^ Lista de publicaciones completa en Proyecto de biblioteca y bibliografía digital alemana, consultado el 7 de septiembre de 2020.
- ^ Ziri, Danielle (3 de octubre de 2013), "Siete profesores israelíes elegidos para la Academia Europaea" , Jerusalem Post.
- ^ Los becarios de ACM nombrados por las innovaciones informáticas que están avanzando en la tecnología en la era digital , Association for Computing Machinery , 2015, archivado desde el original el 9 de diciembre de 2015 , consultado el 9 de diciembre de 2015.