Orna Grumberg

Orna Grumberg
	; Grumberg en 2006.
Información personal
Nacimiento	14 de mayo de 1952 (72 años); Hadera (Israel)
Nacionalidad	Israelí
Educación
Educada en	Technion - Instituto Tecnológico de Israel
Supervisor doctoral	Shmuel Katz y Nissim Francez
Información profesional
Ocupación	Informática teórica
Área	Ciencias de la computación y ciencias de la información
Empleador	Technion - Instituto Tecnológico de Israel
Miembro de	Academia Europæa (desde 2013); Association for Computing Machinery (desde 2015) ;
Sitio web	www.cs.technion.ac.il/users/orna
Distinciones	ACM Fellow (2015) ;
	[editar datos en Wikidata]

Orna Grumberg (en hebreo: ארנה גרימברג‎: ארנה גרימברג‎‎; 14 de mayo de 1952) es una informática israelí y académica, catedrática Leumi de Ciencia en el Technion.^[1]

Es conocida por su desarrollo de la verificación de modelos, un método para verificar formalmente diseños de hardware y software. Con Edmund M. Clarke y Doron A. Peled, es coautora del libro Model Checking (MIT Press, 1999).^[2]

En 2013 fue elegida para la Academia Europaea.^[3] En 2015 nombrada miembro de Association for Computing Machinery "por sus contribuciones a la investigación en la verificación formal automatizada de hardware y sistemas de software".^[4]

Referencias

↑ http://www.yanivhamo.com/, Yaniv Hamo -. «Prof. Orna Grumberg | Faculty | Computer Science Department, Technion». www.cs.technion.ac.il (en inglés). Archivado desde el original el 21 de octubre de 2018. Consultado el 14 de mayo de 2017.
↑ «Orna Grumberg». MIT Press (en inglés estadounidense). Consultado el 14 de mayo de 2017.
↑ «Seven Israeli Professors elected to Academia Europaea». The Jerusalem Post | JPost.com. Consultado el 14 de mayo de 2017.
↑ «ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age — Association for Computing Machinery». www.acm.org (en inglés). Archivado desde el original el 9 de diciembre de 2015. Consultado el 14 de mayo de 2017.

Enlaces externos

Esta obra contiene una traducción derivada de «Orna Grumberg» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.

Datos: Q15995111

[1] ttp://www.yanivhamo.com/, Yaniv Hamo -. «Prof. Orna Grumberg | Faculty | Computer Science Department, Technion». www.cs.technion.ac.il (en inglés). Archivado desde el original el 21 de octubre de 2018. Consultado el 14 de mayo de 2017.

[2] «Orna Grumberg». MIT Press (en inglés estadounidense). Consultado el 14 de mayo de 2017.

[3] «Seven Israeli Professors elected to Academia Europaea». The Jerusalem Post | JPost.com. Consultado el 14 de mayo de 2017.

[4] «ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age — Association for Computing Machinery». www.acm.org (en inglés). Archivado desde el original el 9 de diciembre de 2015. Consultado el 14 de mayo de 2017.

[1]

[2]

[3]

[4]