Orna Grumberg para niños
Datos para niños Orna Grumberg |
||
|---|---|---|
 Grumberg en 2006.
|
||
| Información personal | ||
| Nacimiento | 14 de mayo de 1952 Hadera (Israel) |
|
| Nacionalidad | Israelí | |
| Educación | ||
| Educada en | Technion | |
| 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 | |
| Miembro de |
|
|
| Sitio web | www.cs.technion.ac.il/users/orna | |
| Distinciones |
|
|
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.
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).
En 2013 fue elegida para la Academia Europaea. 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".
Véase también
En inglés: Orna Grumberg Facts for Kids
Todo el contenido de los artículos de la Enciclopedia Kiddle (incluidas las imágenes) se puede utilizar libremente para fines personales y educativos bajo la licencia Atribución-CompartirIgual a menos que se indique lo contrario. Citar este artículo:
Orna Grumberg para Niños. Enciclopedia Kiddle.