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