Orna Grumberg
| |
|---|---|
ארנה גרימברג
| |
Grumberg (2006)
| |
| Born | (1952-04-30) April 30, 1952 (age 72)
Hadera, Israel
|
| Known for | Model checking |
| Awards | Fellow of the Association for Computing Machinery (2015), Honorary Doctorate from the Technical University of Munich (2017) |
| Scientific career | |
| Fields | Computer Science |
| Institutions | Technion – Israel Institute of Technology |
Orna Grumberg (Hebrew: ארנה גרימברג; born April 30, 1952, in Hadera near Haifa) 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][4]
In 2013, Grumberg was elected to the Academia Europaea.[5] 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."[6] In May 2017, she was awarded an honorary doctorate by the Technical University of Munich as part of the 50th anniversary of computer science in Munich.[7]
| International |
|
|---|---|
| National |
|
| Academics |
|
| Other |
|
