Orna Grumberg
Contributors to Wikimedia projects
Article ImagesOrna Grumberg ( hebreeraz: ארנה גרימברג: ארנה גרימברג) (Hadera, Israel, 1952ko maiatzaren 14a) israeldar informatikari akademikoa da, Leumi Zientzia katedraduna da Israelgo Technion izeneko Teknologia Intitutuan.[1]
Orna Grumberg | |
---|---|
(2002) | |
Bizitza | |
Jaiotza | Hadera (en) , 1952ko maiatzaren 14a (72 urte) |
Herrialdea | Israel |
Hezkuntza | |
Heziketa | Technion - Israelgo Teknologia Institutua |
Tesi zuzendaria | Shmuel Katz (en) Nissim Francez (en) |
Doktorego ikaslea(k) | Tamir Heyman (en) Doron Bustan (en) Karen Yorav (en) Orna Kupferman (en) Sharon Shoham Buchbinder (en) Avraham Yadgar (en) |
Hizkuntzak | hebreera ingelesa |
Jarduerak | |
Jarduerak | informatikaria |
Enplegatzailea(k) | Technion - Israelgo Teknologia Institutua |
Jasotako sariak | |
Kidetza | Academia Europaea (en) Association for Computing Machinery |
cs.technion.ac.il… |
Lan ibilbidea
Modeloen egiaztapenaren garapenarengatik da ezaguna; hardware eta software diseinuak formalki egiaztatzeko metodo bat da. Edmund M. Clarkerekin eta Doron A. Peledekin Model Checking MIT Press (1999) liburuaren egileetako bat da.[2]
2013an Europako Akademiarako hautatu zuten.[3] 2015ean, Association for Computing Machinery erakundeko kide izendatu zuten, "hardware eta software-sistemen egiaztapen formal automatizatuan ikerketari egindako ekarpenengatik".[4]
Argitaratutako lanak
- 1999. urtean Model Checking MIT Press liburura argitaratu zuen Edmund M. Clarkerekin eta Doron A. Peledekin.[2]
Sariak eta aintzatespenak
- ACM Fellow
- Honorary doctorate from the Technical University of Munich
Erreferentziak
- ↑ «Orna Grumberg – Computer Science Faculty» orna.cswp.cs.technion.ac.il (Noiz kontsultatua: 2024-05-16).
- ↑ a b «Orna Grumberg» MIT Press.
- ↑ Seven Israeli Professors elected to Academia Europaea. .
- ↑ «ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age — Association for Computing Machinery» www.acm.org.
Kanpo estekak
- Artikulu hau, osorik edo zatiren batean, {{{hizkuntza}}} Wikipediako «Orna Grumberg» artikulutik itzuli da. Izan ere, artikulu horretan aritu diren wikilariek GFDL edo CC-BY-SA 3.0 lizentziekin argitaratu dute beren lana.
- Datuak: Q15995111