Orna Grumberg

Date

Orna Grumberg (Hebrew: ארנה גרימברג; born on April 30, 1952, in Hadera, near Haifa) is an Israeli computer scientist and academic who holds the Leumi Chair of Science at the Technion. Grumberg is known for creating model checking, a method used to formally verify hardware and software designs. She co-authored the book Model Checking (MIT Press, 1999) with Edmund M.

Orna Grumberg (Hebrew: ארנה גרימברג; born on April 30, 1952, in Hadera, near Haifa) is an Israeli computer scientist and academic who holds the Leumi Chair of Science at the Technion.

Grumberg is known for creating model checking, a method used to formally verify hardware and software designs. She co-authored the book Model Checking (MIT Press, 1999) with Edmund M. Clarke and Doron A. Peled.

In 2013, Grumberg was chosen to join 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." In May 2017, she received an honorary doctorate from the Technical University of Munich as part of the 50th anniversary of computer science in Munich.

More
articles

Powered by
►
Necessary cookies enable essential site features like secure log-ins and consent preference adjustments. They do not store personal data.
None
►
Functional cookies support features like content sharing on social media, collecting feedback, and enabling third-party tools.
None
►
Analytical cookies track visitor interactions, providing insights on metrics like visitor count, bounce rate, and traffic sources.
None
►
Advertisement cookies deliver personalized ads based on your previous visits and analyze the effectiveness of ad campaigns.
None
Powered by