Orna Grumberg

Orna Grumberg
Vida
Nacimientu	Hadera, 14 de mayu de 1952 (72 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
Emplegadores	Technion - Instituto Tecnológico de Israel (es)
Premios	ver Honorary doctorate from the Technical University of Munich ; ACM Fellow (2015) ;
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.^[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

↑ Afirmao en: catálogu de la Biblioteca Nacional Checa. Identificador NKCR AUT: stk2007394009. Data de consulta: 1r marzu 2022.
↑ ^2,0 ^2,1 URL de la referencia: https://www.acm.org/media-center/2015/december/fellows-2015. Data de consulta: 24 xunu 2024.
↑ 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). Archiváu dende l'orixinal, el 2018-10-21. 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

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

[7b091fde6c43ab576e5e5203f9b66be67401a527-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.

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

[4] ttp://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.

[4]

[1]

[2]

[5]

[6]

[7]