Orna Grumberg
De Wikipedia, la enciclopedia encyclopedia
Orna Grumberg (en hebreo: ארנה גרימברג: ארנה גרימברג; 14 de mayo de 1952) es una informática israelí y académica, catedrática Leumi de Ciencia en el Technion.[1]
Datos rápidos Información personal, Nacimiento ...
Orna Grumberg | ||
---|---|---|
Grumberg en 2006. | ||
Información personal | ||
Nacimiento |
14 de mayo de 1952 (72 años) Hadera (Israel) | |
Nacionalidad | Israelí | |
Educación | ||
Educada en | Technion - Instituto Tecnológico de Israel | |
Supervisor doctoral | Shmuel Katz y Nissim Francez | |
Información profesional | ||
Ocupación | Informática teórica | |
Área | Ciencias de la computación y ciencias de la información | |
Empleador | Technion - Instituto Tecnológico de Israel | |
Miembro de |
| |
Sitio web | www.cs.technion.ac.il/users/orna | |
Distinciones | ||
Cerrar
Es conocida por su desarrollo de la verificación de modelos, un método para verificar formalmente diseños de hardware y software. Con Edmund M. Clarke y Doron A. Peled, es coautora del libro Model Checking (MIT Press, 1999).[2]
En 2013 fue elegida para la Academia Europaea.[3] En 2015 nombrada miembro de Association for Computing Machinery "por sus contribuciones a la investigación en la verificación formal automatizada de hardware y sistemas de software".[4]