Orna Grumberg - Orna Grumberg - Wikipedia

Grumberg v roce 2006

Orna Grumberg (hebrejština: ארנה גרימברג; narozen 14. května 1952 v Hadera u Haifa ) je izraelský počítačový vědec a akademik, předseda vědy Leumi na Technion.[1]

Grumberg je známý pro rozvoj kontrola modelu, metoda formálního ověřování návrhů hardwaru a softwaru.[2] S Edmund M. Clarke a Doron A. Peled, je autorkou knihy Kontrola modelu (MIT Press, 1999).[3][4]

V roce 2013 byl profesor Grumberg zvolen do Academia Europaea.[5] V roce 2015 byla jmenována a Člen sdružení pro výpočetní techniku „za příspěvky k výzkumu v oblasti automatizovaného formálního ověřování hardwarových a softwarových systémů.“[6]

Reference

  1. ^ Profil fakulty, Technion, vyvoláno 2013-12-07.
  2. ^ Profil Microsoft Research Archivováno 2014-10-21 na Wayback Machine
  3. ^ Recenze Kontrola modelu Vladimír Zacharov (2001), Journal of Logic and Computation 11 (6): 962–964, doi:10.1093 / logcom / 11.6.962
  4. ^ Úplný seznam publikací v German Digital Bibliography & Library Project, vyvoláno 2020-09-07.
  5. ^ Ziri, Danielle (3. října 2013), „Sedm izraelských profesorů zvolených do Academia Europaea“, Jerusalem Post.
  6. ^ Členové ACM pojmenovaní pro počítačové inovace, které rozvíjejí technologii v digitálním věku, Sdružení pro výpočetní techniku, 2015, archivovány od originál dne 09.12.2015, vyvoláno 2015-12-09.