Orna Grumberg ( he, ארנה גרימברג; born April 30, 1952 in

Hadera Hadera ( he, חֲדֵרָה ) is a city located in the Haifa District of Israel, in the northern Sharon region, approximately 45 kilometers (28 miles) from the major cities of Tel Aviv and Haifa. The city is located along 7 km (5&nbs ...

near

Haifa Haifa ( he, חֵיפָה ' ; ar, حَيْفَا ') is the third-largest city in Israel—after Jerusalem and Tel Aviv—with a population of in . The city of Haifa forms part of the Haifa metropolitan area, the third-most populous metropol ...

) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing

model checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...

, a method for formally verifying hardware and software designs. With

Edmund M. Clarke Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor ...

and Doron A. Peled, she is the author of the book ''Model Checking'' (MIT Press, 1999). In 2013 Prof. Grumberg was elected to the

Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ...

. In 2015 she was named a

Fellow of the Association for Computing Machinery A fellow is a concept whose exact meaning depends on context. In learned or professional societies, it refers to a privileged member who is specially elected in recognition of their work and achievements. Within the context of higher education ...

"for contributions to research in automated formal verification of hardware and software systems.".

References

{{DEFAULTSORT:Grumberg, Orna 1952 births Living people Israeli computer scientists Israeli 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)