Ir al contenido

Orna Grumberg

De Wikipedia, la enciclopedia libre
Orna Grumberg

Grumberg en 2006.
Información personal
Nacimiento 14 de mayo de 1952 Ver y modificar los datos en Wikidata (72 años)
Hadera (Israel) Ver y modificar los datos en Wikidata
Nacionalidad Israelí
Educación
Educada en Technion - Instituto Tecnológico de Israel Ver y modificar los datos en Wikidata
Supervisor doctoral Shmuel Katz y Nissim Francez Ver y modificar los datos en Wikidata
Información profesional
Ocupación Informática teórica Ver y modificar los datos en Wikidata
Área Ciencias de la computación y ciencias de la información Ver y modificar los datos en Wikidata
Empleador Technion - Instituto Tecnológico de Israel Ver y modificar los datos en Wikidata
Miembro de
Sitio web www.cs.technion.ac.il/users/orna Ver y modificar los datos en Wikidata
Distinciones
  • ACM Fellow (2015) Ver y modificar los 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]
  1. 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. 
  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. 

Enlaces externos

[editar]