Orna Grumberg
Apariencia
Orna Grumberg | |
---|---|
Vida | |
Nacimientu | Hadera, 14 de mayu de 1952 (72 años) |
Nacionalidá | Israel |
Estudios | |
Estudios | Technion - Instituto Tecnológico de Israel (es) |
Direutor de tesis |
Shmuel Katz (en) Nissim Francez |
Direutora de tesis de |
Tamir Heyman (en) Doron Bustan (en) Karen Yorav (en) Orna Kupferman Sharon Shoham Buchbinder Avraham Yadgar (en) |
Llingües falaes |
hebréu inglés[1] |
Oficiu | informática teórica |
Emplegadores | Technion - Instituto Tecnológico de Israel (es) |
Premios | |
Miembru de |
Academia Europaea Association for Computing Machinery |
cs.technion.ac.il… | |
Orna Grumberg (hebréu: ארנה גרימברג: ארנה גרימברג; 14 de mayu de 1952) ye una informática israelino y académico, caderalga Leumi de Ciencia nel Technion.[4]
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).[5]
En 2013 foi escoyida pa l'Academia Europaea.[6] 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".[7]
Referencies
[editar | editar la fonte]- ↑ Afirmao en: catálogu de la Biblioteca Nacional Checa. Identificador NKCR AUT: stk2007394009. Data de consulta: 1r marzu 2022.
- ↑ 2,0 2,1 URL de la referencia: https://www.acm.org/media-center/2015/december/fellows-2015. Data de consulta: 24 xunu 2024.
- ↑ URL de la referencia: https://www.ae-info.org/ae/User/Grumberg_Orna.
- ↑ http://www.yanivhamo.com/, Yaniv Hamo -. «Prof. Orna Grumberg | Faculty | Computer Science Department, Technion» (inglés). Archiváu dende l'orixinal, el 2018-10-21. Consultáu'l 14 de mayu de 2017.
- ↑ «Orna Grumberg» (inglés). Consultáu'l 14 de mayu de 2017.
- ↑ Seven Israeli Professors elected to Academia Europaea. The Jerusalem Post | JPost.com. http://www.jpost.com/Breaking-News/Seven-Israeli-Professors-elected-to-Academia-Europaea-327799. Consultáu'l 14 de mayu de 2017.
- ↑ «ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age — Association for Computing Machinery» (inglés). Archiváu dende l'orixinal, el 9 d'avientu de 2015. Consultáu'l 14 de mayu de 2017.
Enllaces esternos
[editar | editar la fonte]