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	Association for Computing Machinery; Academia Europæa (desde 2013) ;
Sitio web	www.cs.technion.ac.il/users/orna
Distinciones	ACM Fellow ;
	[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[editar]

↑ 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[editar]

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]