Orna Grumberg

Orna Grumberg
Vida
Nacimientu	Hadera, 14 de mayu de 1952 (71 años)
Nacionalidá	Israel
Estudios
Estudios	Technion - Instituto Tecnológico de Israel (es)
Direutor de tesis	Shmuel Katz (en) ; Nissim Francez
Direutora de tesis de	Tamir Heyman (en) ; Doron Bustan (en) ; Karen Yorav (en) ; Orna Kupferman; Sharon Shoham Buchbinder; Avraham Yadgar (en)
Llingües falaes	hebréu; inglés
Oficiu	informática teórica
Llugares de trabayu	Technion - Instituto Tecnológico de Israel (es)
Emplegadores	Technion - Instituto Tecnológico de Israel (es)
Premios	ver ACM Fellow ; Honorary doctorate from the Technical University of Munich ;
Miembru de	Academia Europaea; Association for Computing Machinery
	cs.technion.ac.il…

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

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).^[4]

En 2013 foi escoyida pa l'Academia Europaea.^[5] 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".^[6]

Referencies editar

↑ Afirmao en: catálogu de la Biblioteca Nacional Checa. Identificador NKCR AUT: stk2007394009. Data de consulta: 1r marzu 2022.
↑ URL de la referencia: https://www.ae-info.org/ae/User/Grumberg_Orna.
↑ http://www.yanivhamo.com/, Yaniv Hamo -. «Prof. Orna Grumberg | Faculty | Computer Science Department, Technion» (inglés). Consultáu'l 14 de mayu de 2017.
↑ «Orna Grumberg» (inglés). Consultáu'l 14 de mayu de 2017.
↑ 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.
↑ «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

[51b897e22b68f4dcafb5e1b37c1ad36468d9e9ca-1] Afirmao en: catálogu de la Biblioteca Nacional Checa. Identificador NKCR AUT: stk2007394009. Data de consulta: 1r marzu 2022.

[a123a54e3fe9be346ec77462409725d9fe4d7190-2] URL de la referencia: https://www.ae-info.org/ae/User/Grumberg_Orna.

[3] ttp://www.yanivhamo.com/, Yaniv Hamo -. «Prof. Orna Grumberg | Faculty | Computer Science Department, Technion» (inglés). Consultáu'l 14 de mayu de 2017.

[4] «Orna Grumberg» (inglés). Consultáu'l 14 de mayu de 2017.

[5] 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.

[6] «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.

[3]

[1]

[2]

[4]

[5]

[6]