Orna Grumberg
Appearance
Orna Grumberg | |
---|---|
![]() (2002) | |
Bizitza | |
Jaiotza | Hadera (en) ![]() |
Herrialdea | ![]() |
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… |
Orna Grumberg ( hebreeraz: ארנה גרימברג: ארנה גרימברג) (Hadera, Israel, 1952ko maiatzaren 14a) israeldar informatikari akademikoa da, Leumi Zientzia katedraduna da Israelgo Technion izeneko Teknologia Intitutuan.[1]
Lan ibilbidea
[aldatu | aldatu iturburu kodea]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
[aldatu | aldatu iturburu kodea]- 1999. urtean Model Checking MIT Press liburura argitaratu zuen Edmund M. Clarkerekin eta Doron A. Peledekin.[2]
Sariak eta aintzatespenak
[aldatu | aldatu iturburu kodea]- ACM Fellow
- Honorary doctorate from the Technical University of Munich
Erreferentziak
[aldatu | aldatu iturburu kodea]- ↑ «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
[aldatu | aldatu iturburu kodea]- 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.