Orna Grumberg

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