Orna Grumberg
{{persona}}
'''Orna Grumberg''' ({{Lang-he|ארנה גרימברג}}: <span dir="rtl" lang="he">ארנה גרימברג‎‎</span>; 14 de mayu de 1952) ye una informática israelino y académico, caderalga Leumi de Ciencia nel [[Technion]].<ref>{{Cita web|url=https://www.cs.technion.ac.il/people/orna/|títulu=Prof. Orna Grumberg {{!}} Faculty {{!}} Computer Science Department, Technion|fechaaccesu=14 de mayu de 2017|apellíu=http://www.yanivhamo.com/|nome=Yaniv Hamo -|idioma=en|sitiuweb=www.cs.technion.ac.il|urlarchivu=https://web.archive.org/web/20181021235800/http://www.cs.technion.ac.il/people/orna/|fechaarchivu=2018-10-21}}</ref>

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 Clarke|Edmund M. Clarke]] y Doron A. Peled, ye coautora del llibru Model Checking (MIT Press, 1999).<ref>{{Cita web|url=https://mitpress.mit.edu/authors/orna-grumberg|títulu=Orna Grumberg|fechaaccesu=14 de mayu de 2017|idioma=en-US|sitiuweb=MIT Press}}</ref>

En 2013 foi escoyida pa l'[[Academia Europæa|Academia Europaea.]]<ref>{{Cita noticia|títulu=Seven Israeli Professors elected to Academia Europaea|url=http://www.jpost.com/Breaking-News/Seven-Israeli-Professors-elected-to-Academia-Europaea-327799|fechaaccesu=14 de mayu de 2017|periódicu=The Jerusalem Post {{!}} JPost.com}}</ref> 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".<ref>{{Cita web|url=http://www.acm.org/press-room/news-releases/2015/fellows-2015|títulu=ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age — Association for Computing Machinery|fechaaccesu=14 de mayu de 2017|idioma=en|sitiuweb=www.acm.org|urlarchivu=https://web.archive.org/web/20151209221613/http://www.acm.org/press-room/news-releases/2015/fellows-2015|fechaarchivu=9 d'avientu de 2015}}</ref>

== Referencies ==
{{llistaref}}
== Enllaces esternos ==
{{traducíu ref|en|Orna Grumberg|697295106}}
{{NF|1952||Grumberg}}






{{Tradubot|Orna Grumberg}}

[[Categoría:Informáticos d'Israel]]
[[Categoría:Científicos y científiques d'Israel]]
[[Categoría:Wikipedia:Mantenimientu:Persones ensin plantía nym]]
Orna Grumberg (: ארנה גרימברג‎‎; 14 de mayu de 1952) ye una informática israelino y académico, caderalga Leumi de Ciencia nel Technion.

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).

En 2013 foi escoyida pa l'Academia Europaea. 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".

 Referencies 

 Enllaces esternos 

Categoría:Informáticos d'Israel
Categoría:Científicos y científiques d'Israel
Categoría:Wikipedia:Mantenimientu:Persones ensin plantía nym