Orna Grumberg
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Age | 73 |
| Date of birth | May 14,1952 |
| Zodiac sign | Taurus |
| Born | Hadera |
| Israel | |
| Citations | 30,550 |
| H index | 52 |
| 50 | |
| Official site | cs.technion.ac.il |
| Affiliations | Technion |
| Education | Technion - Israel Institute of Technology |
| Awards | ACM Fellow |
| Academic advisor | Nissim Francez |
| Books | Model Checking |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1206288 |
Orna Grumberg Life story
Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking.
