Orna Grumberg
From Infogalactic: the planetary knowledge core
Orna Grumberg (Hebrew: ארנה גרימברג; born May 14, 1952) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.[1]
Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs.[2] With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking (MIT Press, 1999).[3]
In 2013 Prof. Grumberg was elected to the Academia Europaea.[4] In 2015 she was named a fellow of the Association for Computing Machinery "for contributions to research in automated formal verification of hardware and software systems."[5]
References
- ↑ Faculty profile, Technion, retrieved 2013-12-07.
- ↑ Microsoft Research profile
- ↑ Review of Model Checking by Vladimir Zakharov (2001), Journal of Logic and Computation 11 (6): 962–964, doi:10.1093/logcom/11.6.962
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
- ↑ Lua error in package.lua at line 80: module 'strict' not found..
Categories:
- Pages with broken file links
- Articles containing Hebrew-language text
- 1952 births
- Living people
- Israeli computer scientists
- Women computer scientists
- Technion – Israel Institute of Technology faculty
- Members of Academia Europaea
- Fellows of the Association for Computing Machinery
- Place of birth missing (living people)