Orna Grumberg

Grumberg (2006) Orna Grumberg (; 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." 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. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Grumberg, Orna', query time: 0.02s Refine Results
  1. 1
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Published 1997
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Published 2007
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Model checking /
    Other Authors: “…Grumberg, Orna…”
    Book
  5. 5
    Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
    Published 2009
    Other Authors: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search