Orna Grumberg ( hebreo : ארנה גרימברג ; nacida el 30 de abril de 1952 en Hadera , cerca de Haifa ) es una científica informática y académica israelí, titular de la Cátedra Leumi de Ciencias en el Technion . [1]
En 2013, 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] En mayo de 2017, la Universidad Técnica de Múnich le otorgó un doctorado honoris causa en el marco del 50.º aniversario de la informática en Múnich. [7]
Referencias
^ Perfil de la facultad, Technion, consultado el 7 de diciembre de 2013.
^ Perfil de Microsoft Research Archivado el 21 de octubre de 2014 en Wayback Machine.
^ Revisión de la verificación de modelos por Vladimir Zakharov (2001), Journal of Logic and Computation 11 (6): 962–964, doi :10.1093/logcom/11.6.962
^ Lista completa de publicaciones en el 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.
^ Becarios de ACM nombrados por las innovaciones informáticas que están haciendo avanzar 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.
^ il-israel.org: Ein Leben für korrekte Bits und Bytes, 21 de mayo de 2017
