Saltar al conteníu

Orna Grumberg

Esti artículu foi traducíu automáticamente y precisa revisase manualmente
De Wikipedia
Orna Grumberg
Vida
Nacimientu Hadera14 de mayu de 1952 (72 años)
Nacionalidá Bandera de Israel Israel
Estudios
Estudios Technion - Instituto Tecnológico de Israel (es) Traducir
Direutor de tesis Shmuel Katz (en) Traducir
Nissim Francez
Direutora de tesis de Tamir Heyman (en) Traducir
Doron Bustan (en) Traducir
Karen Yorav (en) Traducir
Orna Kupferman
Sharon Shoham Buchbinder
Avraham Yadgar (en) Traducir
Llingües falaes hebréu
inglés[1]
Oficiu informática teórica
Emplegadores Technion - Instituto Tecnológico de Israel (es) Traducir
Premios
Miembru de Academia Europaea
Association for Computing Machinery
cs.technion.ac.il…
Cambiar los datos en Wikidata

Orna Grumberg (hebréu: ארנה גרימברג: ארנה גרימברג‎‎; 14 de mayu de 1952) ye una informática israelino y académico, caderalga Leumi de Ciencia nel Technion.[4]

Ye conocida pol so desenvolvimientu de la verificación de modelos, un métodu pa verificar formalmente diseños de hardware y software. Con Edmund M. Clarke y Doron A. Peled, ye coautora del llibru Model Checking (MIT Press, 1999).[5]

En 2013 foi escoyida pa l'Academia Europaea.[6] En 2015 nomada miembru d'Association for Computing Machinery "poles sos contribuciones a la investigación na verificación formal automatizada de hardware y sistemes de software".[7]

Referencies

[editar | editar la fonte]
  1. Afirmao en: catálogu de la Biblioteca Nacional Checa. Identificador NKCR AUT: stk2007394009. Data de consulta: 1r marzu 2022.
  2. 2,0 2,1 URL de la referencia: https://www.acm.org/media-center/2015/december/fellows-2015. Data de consulta: 24 xunu 2024.
  3. URL de la referencia: https://www.ae-info.org/ae/User/Grumberg_Orna.
  4. http://www.yanivhamo.com/, Yaniv Hamo -. «Prof. Orna Grumberg | Faculty | Computer Science Department, Technion» (inglés). Archiváu dende l'orixinal, el 2018-10-21. Consultáu'l 14 de mayu de 2017.
  5. «Orna Grumberg» (inglés). Consultáu'l 14 de mayu de 2017.
  6. Seven Israeli Professors elected to Academia Europaea. The Jerusalem Post | JPost.com. http://www.jpost.com/Breaking-News/Seven-Israeli-Professors-elected-to-Academia-Europaea-327799. Consultáu'l 14 de mayu de 2017. 
  7. «ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age — Association for Computing Machinery» (inglés). Archiváu dende l'orixinal, el 9 d'avientu de 2015. Consultáu'l 14 de mayu de 2017.

Enllaces esternos

[editar | editar la fonte]