Orna Grumberg

Orna Grumberg
	;
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	ikusi ACM Fellow ; Honorary doctorate from the Technical University of Munich ;
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.

Datuak: Q15995111

[1] «Orna Grumberg – Computer Science Faculty» orna.cswp.cs.technion.ac.il (Noiz kontsultatua: 2024-05-16).

[:0-2] «Orna Grumberg» MIT Press.

[3] Seven Israeli Professors elected to Academia Europaea. .

[4] «ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age — Association for Computing Machinery» www.acm.org.

[1]

[2]

[3]

[4]