Orna Grumberg
From Wikipedia, the free encyclopedia
Orna Grumberg (hebréu: ארנה גרימברג: ארנה גרימברג; 14 de mayu de 1952) ye una informática israelino y académico, caderalga Leumi de Ciencia nel Technion.[3]
Datos rápidos Vida, Nacimientu ...
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 |
ver
|
Miembru de |
Academia Europaea[2] Association for Computing Machinery |
cs.technion.ac.il… | |
Zarrar
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).[4]
En 2013 foi escoyida pa l'Academia Europaea.[5] 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".[6]