Orna Grumberg

Orna Grumberg
ארנה גרימברג
Grumberg (2006)
Born (1952-04-30) April 30, 1952 (age 72)
Hadera, Israel
Known forModel checking
AwardsFellow of the Association for Computing Machinery (2015), Honorary Doctorate from the Technical University of Munich (2017)
Scientific career
FieldsComputer Science
InstitutionsTechnion – Israel Institute of Technology

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.[1]

Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs.[2] With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking (MIT Press, 1999).[3][4]

In 2013, Grumberg was elected to the Academia Europaea.[5] 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."[6] 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.[7]

References

  1. ^ Faculty profile, Technion, retrieved 2013-12-07.
  2. ^ Microsoft Research profile Archived 2014-10-21 at the Wayback Machine
  3. ^ Review of Model Checking by Vladimir Zakharov (2001), Journal of Logic and Computation 11 (6): 962–964, doi:10.1093/logcom/11.6.962
  4. ^ Full Publication List at German Digital Bibliography & Library Project, retrieved 2020-09-07.
  5. ^ Ziri, Danielle (October 3, 2013), "Seven Israeli Professors elected to Academia Europaea", Jerusalem Post.
  6. ^ ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age, Association for Computing Machinery, 2015, archived from the original on 2015-12-09, retrieved 2015-12-09.
  7. ^ il-israel.org: Ein Leben für korrekte Bits und Bytes, 21. Mai 2017