Orna Grumberg

De Wikipedia
Saltar a navegación Saltar a la gueta
Orna GrumbergPicto infobox character.png
Orna Grumberg 2006.jpg
Vida
Nacimientu

Hadera (es) Traducir14  de mayu de 1952

(68 años)
Nacionalidá Bandera de Israel Israel
Estudios
Estudios Technion (es) Traducir
Direutor de tesis Shmuel Katz (en) Traducir
Nissim Francez (en) Traducir
Direutora de tesis de Tamir Heyman (en) Traducir
Doron Bustan (en) Traducir
Karen Yorav (en) Traducir
Orna Kupferman-Bernholtz (en) Traducir
Sharon Shoham (en) Traducir
Avraham Yadgar (en) Traducir
Llingües hebréu
Oficiu
Oficiu informática teórica
Llugares de trabayu Technion (es) Traducir
Emplegadores Technion (es) Traducir
Premios
Miembru de Academia Europaea[1]
Association for Computing Machinery
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.[2]

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

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

Referencies[editar | editar la fonte]

Enllaces esternos[editar | editar la fonte]




Orna Grumberg