Orna Grumberg

Orna Grumberg ( : ארנה גרימברג‎‎) (Hadera, Israel, 1952ko maiatzaren 14a) israeldar informatikari akademikoa da, Leumi Zientzia katedraduna da Israelgo Technion izeneko Teknologia Intitutuan.

 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.

2013an Europako Akademiarako hautatu zuten. 2015ean, Association for Computing Machinery erakundeko kide izendatu zuten, "hardware eta software-sistemen egiaztapen formal automatizatuan ikerketari egindako ekarpenengatik".

 Argitaratutako lanak 

 1999. urtean Model Checking MIT Press liburura argitaratu zuen Edmund M. Clarkerekin eta Doron A. Peledekin.

 Sariak eta aintzatespenak 

 ACM Fellow 
 Honorary doctorate from the Technical University of Munich

 Erreferentziak 

 Kanpo estekak 

Kategoria:Israeldarrak
Kategoria:Emakume informatikariak
Kategoria:Emakume zientzialariak
Kategoria:Katedradunak