Loading AI tools
De Wikipedia, la enciclopedia libre
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]
| 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 |
| |
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]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
