Orna Grumberg facts for kids
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.
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 (MIT Press, 1999).
In 2013 Grumberg was elected to the Academia Europaea. 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."
See also
In Spanish: Orna Grumberg para niños
All content from Kiddle encyclopedia articles (including the article images and facts) can be freely used under Attribution-ShareAlike license, unless stated otherwise. Cite this article:
Orna Grumberg Facts for Kids. Kiddle Encyclopedia.